有限自动机理论(第2版)

本书由“电子科技大学‘十二五’规划研究生教材建议基金”资助出版。本书简述形式语言的基本内容，包括文法的分类和语言间运算的封闭性；系统地论述有限自动机：有限状态自动机、下推自动机和图灵机(包括量子图灵机)的基础理论；从构造文法产生语言的角度和构造自动机识别语言的角度对语言行讨论；介绍文法与等价的自动机之间的转换方法；并介绍有限自动机的一些典型应用。本书以新的思维方式为读者提供了一把钥匙，主要培养读者的独立思考能力，使用符号化的系统描述程序设计语言或自然语言的语法结构的能力，以及构造自动机的能力。
【作者】
陈文宇，电子科技大学教授，从事计算机教学20余年，中国计算机学会高级会员。*——Intel精品课程“编译原理”负责人；四川省精品课程“汇编语言程序设计”负责人；四川省高等教育“质量工程”计算机科学与技术专业综合改革“教学手段与方式改革”负责人；电子科技大学教育教学改革研究重专项课程与教学资源建设的研究与实践“程序设计基础”负责人；电子科技大学211创新人才培养；电子科技大学“十二五”规划教材建设项目（研究生）；电子科技大学“985”项目优秀教学团队支持计划（研究生）；2次获得电子科技大学优秀主讲教师（A级教师）称号；3次获青年教师教学优秀奖；2011年GoogleFaculty Award （Google奖教金）（全国15人）；2012年或电子科技大学教学成果一等奖2项；二等奖1项。