陈文宇 田玲 程伟 刘贵松

本书简述了形式语言的基本内容，包括文法的分类和语言间运算的封闭性；系统论述了有限自动机：有限状态自动机、下推自动机和图灵机(包括量子图灵机)的基础理论。从构造文法产生语言的角度和构造自动机识别语言的角度对语言进行了讨论；介绍了文法与等价的自动机之间的转换方法；并介绍了有限自动机的一些典型应用。本书以新的思维方式为读者提供一把钥匙，主要培养读者的独立思考能力，使用符号化的系统描述程序设计语言或自然语