形式语言与自动机理论是计算机科学理论的重要基础。本书主要介绍乔姆斯基文法体系的四类文法以及它们与有限自动机、下推自动机、线性界限自动机和图灵机之间的关系。此外，对语言的各种运算和封闭性质、判定问题及不可判定性以及确定的上下文无关语言与LR-文法也进行了讨论。书中还介绍了一些文法和自动机在文本编辑、编译程序、标注语言以及逻辑电路和时序电路设计中的应用。
全书共分8章：第1章介绍语言及其表示；第2章介绍正规表达式、正规文法与有限自动机；第3章介绍上下文无关文法与下推自动机；第4章介绍图灵机；第5章介绍乔姆斯基文法体系；第6章介绍语言的运算与封闭性质；第7章介绍判定问题与不可判定性；第8章介绍确定的上下文无关语言和LR-文法。