《形式语言与自动机理论》是机械工业出版的书籍，作者是吴哲辉。内容简介形式语言与自动机理论是计算机科学理论的重要基础。本书主要介绍乔姆斯基文法体系的四类文法以及它们与有限自动机、下推自动机、线性界限自动机和图灵机之间的关系。此外，对语言的各种运算和封闭性质、判定问题及不可判定性以及确定的上下文无关语言与LR-文法也进行了讨论。书中还介绍了一些文法和自动机在文本编辑、编译程序、标注语言以及逻辑电路和时序电路设计中的应用。全书共分8章：第1章介绍语言及其表示；第2章介绍正规表达式、正规文法与有限自动机；第3章介绍上下文无关文法与下推自动机；第4章介绍图灵机；第5章介绍乔姆斯基文法体系；第6章介绍语言的运算与封闭性质；第7章介绍判定问题与不可判定性；第8章介绍确定的上下文无关语言和LR-文法。
形式语言与自动机的编辑推荐 本书以四类形式语言（短语结构语言，上下文有关语言。上下文无关语言。正则语言）和四种自动机（有穷自动机、下推自动机．图灵机，线性有界自动机）为主线，讨论了形式语言与自动机方面的主要理论成果和应用实例。本书的主要特色：取材丰富。涵盖了该领域国内外现有教材的主要内容。在写作方法上，循序渐进，深入浅出。在概念的引入和定理的证明上，尽量采用通俗的语言和形象化的方法来表达。理论与实际相结合。除具有配合定理和定义的大量例题外，许多章节还有现代计算机技术中应用的实例。适应面广。既适合作为本科生的教材，也适合作为研究生的教材。
请问什么是形式语言与自动机 形式语言形式语言 是一个字母表上的某些有限长字串的集合。一个形式语言可以包含无限多个字串。语言的形式定义字母表∑为任意有限集合，ε 表示空串，记∑0 为{ε}，全体长度为 n 的字串为∑n，∑*为∑0∪1∪…∪n∪…，语言 L 定义为∑*的任意子集。注记：∑*的空子集 Φ 与 {ε} 是两个不同的语言。语言间的运算语言间的运算就是∑*幂集上的运算。字串集合的交并补等运算。连接运算：L 1 L 2={ xy|x 属于L 1 并且 y 属于L 2 }。幂运算：L n=L…L（共 n 个 L 连接在一起），L 0={ε}。闭包运算：L*=L 0∪L 1∪…∪L n∪…。（右）商运算：L 1/L 2={x|存在 y 属于L 2 使得 xy 属于L 1 }。语言的表示方法一个形式语言可以通过多种方法来限定自身，比如：枚举出各个字串（只适用于有限字串集合）。通过 形式文法 来产生（参见 乔姆斯基谱系）。通过正则表达式来产生。通过某种自动机来识别，比如 图灵机、有限状态自动机。自动机automata对信号序列进行逻辑处理的装置。在自动控制领域内，是指离散数字系统的动态数学模型，可定义为一种逻辑结构，一种算法或一种符号串变换。自动机这一术语也广泛出现在许多其他相关的学科中，分别有不同的内容和研究目标。在。
