本教材是国内“形式语言与自动机理论”课程最好的教材，发行量也是同类教材中最多的。本书不仅集作者近40年在相应课程上的教学经验，而且还集作者30年倾心于计算机类专业教育的研究和实践经验，较好地体现了作者倡导的研究型教学。 本书是第4版，第1版入选21世纪大学本科计算机专业系列教材，第2、3版先后入选普通高等教育“十一五”国家级规划教材和“十二五”普通高等教育本科国家级规划教材，第2版在2008年还被评为国家普通高等教育精品教材。本书集作者近40年相应课程的教学经验和30余年对专业教育的研究体会编著而成。自第1版在2003年出版以来，受到读者们的厚爱，成为国内主创的、发行量最大、最优秀的形式语言与自动机理论教材。第1版获北京市教学成果一等奖、北京市精品教材，第2版获国家2008年度普通高等教育精品教材、北京市精品教材，第3版是“十二五”普通高等教育本科国家级规划教材，本版是对第3版进一步的修订。  主要特色：（1）通过模型建立、等价变换、性质分析，使读者逐渐熟悉模型计算。层次分明，循序渐进，符合认知规律，突出设计形态，很好地体现了本专业理工兼有的特征和学科“抽象第一”的基本教育原理。（2）引导能力导向的教育。以知识为载体，注重模型建立、构造、变换、证明的方法与思想探讨，挖掘知识背后的内容，支持研究性教学，强化专业基本能力和创新能力的培养。（3）取材合适，结构严谨，深入浅出，把握知识点间的联系，安排铺垫，分散难点，突出重点，努力化解深奥，保持基本内容抽象和形式化，通过思路表达的可视化提高了易懂性，富有启发性，使抽象、枯燥的内容变得吸引人。（4）配有大量难度适当、前后呼应、富有启发性、努力结合专业、宏观和微观兼有的习题。附教学设计、缩写符号、词汇索引等，便于学习。