作者：周益民, 陈文宇, 程伟编著
出版社： 电子科技大学出版社
CIP号：2018163377
书号：978-7-5647-6545-3
出版地：成都
出版时间：2018.6
定价：￥68
本书简述形式语言的基本内容，包括文法的分类、构造方法和语言间运算的封闭性；系统地论述三类有限自动机：有限状态自动机、下推自动机和图灵机的基础理论。从文法产生语言的角度和自动机识别语言的角度对语言进行讨论；介绍文法与等价的自动机之间的转换方法；并介绍有限自动机的一些典型应用。