形式语言与自动机理论因其以体现计算学科中模型描述、模型研究和模型计算为问题求解的主要特征而成为计算机科学与技术、软件工程、网络空间安全等计算机类学科教育的*重要内容之一。本书按照我国相关学科研究生教育当前的实际需求，根据作者30余年的教学实践编著而成，以正则语言与上下文无关语言的文法、识别模型及其性质，以及图灵机基本知识为载体，分9章讨论相关内容，力图使学生建立基于模型的建立、研究、处理而实现问题求解的意识，掌握相应的基本方法，提升解决问题的能力与水平。 本书是基于国家精品教材《形式语言与自动机理论》编著的，重点考虑了研究生教育的需求。 通过模型建立、等价变换、性质分析，使读者逐渐熟悉模型计算。层次分明，循序渐进，符合认知规律，突出设计形态内容，很好地体现了本专业理工兼有的特征和学科“抽象*”的教育基本原理。 引导能力导向的教育。以知识为载体，注重模型建立、构造、变换、证明的方法与思想探讨，挖掘知识背后的内容，支持研究型教学，强化专业基本能力和创新能力的培养。 取材合适，结构严谨，深入浅出，把握知识点间的联系，安排铺垫，分散难点，突出重点，努力化解深奥，保持基本内容抽象和形式化，通过思路表达的可视化提高了易懂性，富有启发性，使抽象、枯燥的内容变得吸引人。 配有大量难度适当、前后呼应、富有启发性、努力结合专业、宏观和微观兼有的习题。附教学设计、缩写符号、词汇索引等，便于学习。 教学资源： 《形式语言与自动机理论(第3版)》（ISBN 9787302318026）：“十二五”普通高等教育本科*规划教材，高等教育*精品教材，北京市教学成果一等奖，北京市高等教育精品教材。优秀经典教材。本书集作者30余年相应课程的教学经验和20余年对专业教育的研究体会编著而成。自第1版在2003年出版以来，受到读者的厚爱，成为是国内主创的、发行量*大、*优秀的形式语言与自动机理论教材。 《形式语言与自动机理论教学参考书(第3版)》（ISBN 9787302317814）：本书根据作者作为《形式语言与自动机理论》一书的配套读物，按照原书的结构编写而成。重点讨论有关内容的讲解和学习的要点、问题分析、求解思路和方法、注意事项、典型习题的解析等。按照小节给出知识点和主要内容解读。为读者学习和掌握原书中的知识点和问题求解方法、体会问题求解的核心思想提供帮助，对教师和学生来说，阅读这些内容都是有意义的。 主教材的PPT电子课件：可在清华大学出版社网站下载。 本书是研究生和高年级本科生学习“形式语言与自动机理论”课程的优秀教材，配套教学资源丰富。本书的PPT电子课件、配套的源代码，可在清华大学出版社官网http://www.tup.com.cn下载。