自动机理论是数学、理论计算机科学和应用的交叉学科。其核心是处理行为基于状态间转换的系统抽象模型，并开发了此类系统的描述、分类、分析和设计方法。
这个自动机理论手册对自动机理论的当前研究进行了全面概述，面向数学和计算机科学研究人员和研究生的广大读者。
第一卷分为三部分。第一部分介绍了各种类型的自动机：单词自动机、无限单词自动机，有限树和无限树自动机、加权自动机和maxplus自动机、传感器和二维模型。第二部分讨论了复杂性方面。第三部分介绍了自动机理论的代数和拓扑方面。
第二卷由两部分组成。第一部分专门介绍自动机在数学中的应用：群论、数论、符号动力学、逻辑和实函数。第二部分介绍了自动机理论的一系列进一步应用，如消息传递系统、符号方法、综合、时间自动机、高阶程序验证、概率过程分析、自然语言处理、程序形式验证和量子计算。
这两卷共有三十九章，每一章都有广泛的参考文献和单独的目录，以及详细的主题索引。
