本书详细介绍了各大学工科学士、理学硕士、商业和行政管理硕士、工科硕士及计算机学硕士教学大纲中提到的关于计算理论的所有领域。对于那些对这门学科有着浓厚兴趣的人来说，此书不仅理论翔实，并附有大量图例。

本书前几章介绍了研究自动机理论所必需的基础知识。例如：正则语言和克莱恩定理；最小自动机和句法幺半群；背景无关语言和下推自动机之间的关系；图灵机和可判定性。

●本书有助于学生形成更为非正式的书写风格，同时以最深入浅出的方式介绍了自动机理论、构建证据的坚实处理、帮助传达思想的许多图表，以及突出相关资料的侧注。每一章都提供了大量的实操练习。

特点：

1数学基础

2有限自动机与正则表达式

3正则集与正则语法

4背景无关语法和语言

5下推自动机

6通用图灵机与不可判定性