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