
陈文宇 田玲 程伟 刘贵松
本书简述了形式语言的基本内容,包括文法的分类和语言间运算的封闭性;系统论述了有限自动机:有限状态自动机、下推自动机和图灵机(包括量子图灵机)的基础理论。从构造文法产生语言的角度和构造自动机识别语言的角度对语言进行了讨论;介绍了文法与等价的自动机之间的转换方法;并介绍了有限自动机的一些典型应用。本书以新的思维方式为读者提供一把钥匙,主要培养读者的独立思考能力,使用符号化的系统描述程序设计语言或自然语言的语法结构的能力,以及构造自动机的能力。
这本书排版本来就不咋样,电子版很多地方根本没法看 内容上略看了解下概念还行吧,细看错误百出真的要折磨死人
入门天教科书要有用户思维,这是中国教科书的通病。
前几章复习了下,后面看不动了,等下次再看吧。
排版真是大问题。 大而略,可以再精细