有限自动机理论

本书简述形式语言的基本内容，包括文法的分类、构造方法和语言间运算的封闭性；系统地论述三类有限自动机：有限状态自动机、下推自动机和图灵机的基础理论。从文法产生语言的角度和自动机识别语言的角度对语言进行讨论；介绍文法与等价的自动机之间的转换方法；并介绍有限自动机的一些典型应用。