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