内容提要

《有限自动机理论》简述了形式语言的基本内容，包括文法的分类和语言间运算的封闭性，有限自动机（包括有限状态自动机、下推自动机和图灵机）的基础理论，从构造文法产生语言的角度和构造自动机识别语言的角度对语言进行讨论，并介绍文法与自动机之间等价的转换方法。

《有限自动机理论》除了在计算机科学与技术领域的直接应用外，更在计算机科学与技术领域的人才的计算思维的培养中占有极其重要的地位。

《有限自动机理论》可作为高等学校计算机科学应用专业、软件专业研究生的教材或参考书，也可作为计算机应用领域内广大科技人员提高理论素质的参考书。

目录

第一章　基础知识

1.1　集合及其运算

1.2　关系

1.2.1　二元关系

1.2.2　等价关系

1.2.3　关系的合成

1.3　证明和证明的方法

1.3.1　反证法

1.3.2　归纳法

1.3.3　递归的定义与归纳证明

1.4　图与树

1.5　语言

1.6　常用术语

1.7　形式语言与自动机的发展