“形式语言与自动机理论”是难度较大的课程，虽然其很重要，但因为太难，影响了课程的开设和学生的学习，所以，提供教学参考书很有必要。 本书是第4版，第一版，入选21世纪大学本科计算机专业系列教材，第2、3版先后入选普通高等教育“十一五”国家级规划教材和“十二五”普通高等教育本科国家级规划教材，第2版在2008年还被评为普通高等教育国家级精品教材。主要特点有（1） 满足国内外对课程的最新要求；（2） 适合国情，倡导研究型教学，强化能力培养；（3） 体现学科基本教育原理；（4） 配套建设教学参考书和电子教案；（5） 化解深奥。保持基本内容抽象和形式化特征，设计引导思路的图，通过直观可视化，更清晰地表达思路，并使得内容更易理解。（6） 内容组织合理。不仅考虑知识体系满足本科生和近期研究生教育的基本要求，还考虑有利于反映和传授本学科特有思想方法。删除了一些生僻内容；（7） 习题丰富恰当。每章都附有大量习题。由于国内外的教材比较少，而且内容难度很大，要求习题既不能伤害读者的信心，又能促进读者对课程知识和课程深层内容的理解，并锻炼相关的能力。