本书系统论述了形式语言和自动机的基础理论，从语言的产生角度和识别角度对Chomsky的短语结构文法以及自动机进行讨论。并介绍了文法与自动机之间的等价关系。还介绍了语法分析中一些基本的问题和语言语法结构的描述方法。本书以新的思维方式为读者提供一把钥匙，培养读者的独立思考能力，及使用符号化的系统描述程序设计语言或自然语言的语法结构的能力。