本书系统论述了形式语言和自动机的基础理论,从语言的产生角度和识别角度对Chomsky的短语结构文法(包括右线性文法、上下文无关文法、上下文相关文法和无限制文法)以及自动机(包括有限状态自动机、下推自动机和图灵机)进行讨论。并介绍了文法与自动机之间的等价关系。另外,还介绍了语法分析中一些基本的问题和语言(程序设计语言及自然语言)语法结构的描述方法。
本书以新的思维方式为读者提供一把钥匙,主要培养读者的独立思考能力,使用符号化的系统描述程序设计语言或自然语言的语法结构的能力,对语言进行语法分析的能力,以及构造自动机的能力,以适应计算机科学不断发展的需要。
实际上,形式语言与自动机理论除了在计算机科学与技术领域的直接应用外,更在计算机科学与技术领域人才的计算思维的培养中占有极其重要的地位。
本书可作为高等学校计算机科学应用专业、软件专业本科和研究生的教材或参考书,也可作为计算机应用领域内广大科技人员提高理论素质的参考书。