《形式语言与自动机理论》是机械工业出版的书籍，作者是吴哲辉。内容简介形式语言与自动机理论是计算机科学理论的重要基础。本书主要介绍乔姆斯基文法体系的四类文法以及它们与有限自动机、下推自动机、线性界限自动机和图灵机之间的关系。此外，对语言的各种运算和封闭性质、判定问题及不可判定性以及确定的上下文无关语言与LR-文法也进行了讨论。书中还介绍了一些文法和自动机在文本编辑、编译程序、标注语言以及逻辑电路和时序电路设计中的应用。全书共分8章：第1章介绍语言及其表示；第2章介绍正规表达式、正规文法与有限自动机；第3章介绍上下文无关文法与下推自动机；第4章介绍图灵机；第5章介绍乔姆斯基文法体系；第6章介绍语言的运算与封闭性质；第7章介绍判定问题与不可判定性；第8章介绍确定的上下文无关语言和LR-文法。
学习形式语言与自动机有什么用处 《形式语言与自动机》是关于理论计算机的，理论研究用的。从事计算机科学没有理论知识是不行的。《模糊数学》跟纯数据库没有什么直接关系，但是以后你做数据仓库与知识挖掘的话会用到人工智能和模糊数学的感觉《随即过程》和人工智能和网络的关系比较大。《计算机体系结构》是计算机科学与技术专业必须要学的，以后凡是涉及到硬件结构与组织形式的课程都会用到它顺便问一句你很喜欢数据库吗？无论你以后做计算机的哪方面工作，都要对计算机有一个相对全面的了解，打好基础，不要急功近利。一点小小建议
算法、自动机理论、形式语言、可计算性理论之间都是什么关系？ 好久以前就收到邀请，一直想回答却没有时间。希望说出一些我自己的认识。这四者基本可以分成三类。算法一…
