本书由“电子科技大学‘十二五’规划研究生教材建议基金”资助出版。本书简述形式语言的基本内容, 包括文法的分类和语言间运算的封闭性; 系统地论述有限自动机: 有限状态自动机、下推自动机和图灵机(包括量子图灵机)的基础理论; 从构造文法产生语言的角度和构造自动机识别语言的角度对语言进行讨论; 介绍文法与等价的自动机之间的转换方法; 并介绍有限自动机的一些典型应用。本书以新的思维方式为读者提供了一把钥匙, 主要培养读者的独立思考能力, 使用符号化的系统描述程序设计语言或自然语言的语法结构的能力, 以及构造自动机的能力。