本书根据作者对计算机专业教育特点的理解和中国计算机学会“21世纪大学本科计算机专业系列教材”编写的总体要求，作为《形式语言与自动化理论》（主教材）一书的配套教学辅导用书，按照原书的结构编写而成。本书包括有关内容的讲解、学习要点、问题分析、求解思路和方法、注意事项、典型习题的解析等内容，并且按照小节给出知识点和主要内容解读。为读者学习和掌握原书中的知识点和问题求解方法，体会问题求解的核心思想提供帮助，对教师和学生来说，阅读这些内容都是有意义的。