本书作为《形式语言与自动机理论（第4版）》（主教材）的配套教学辅导用书，按照主教材的结构编写而成。本书包括有关内容的讲解、学习要点、问题分析、求解思路和方法、注意事项。考虑到该课程习题求解具有相当的难度，以及给出全部习题解答又不利于学生学习，本书只给出了典型习题的解析。为了引导读者及时总结学习内容，按照小节给出知识点和主要内容解读，为读者学习和掌握主教材中的知识点和问题求解方法，体会问题求解的核心思想提供帮助，对教师和学生来说，阅读这些内容都是很有意义的。

蒋宗礼1978年3月至1984年7月在哈尔滨工业大学计算机学科学习，曾经到美国、加拿大进修，自1984年起先后在哈尔滨工业大学和北京工业大学主讲编译原理、形式语言与自动机理论、人工神经网络基础等课程。国家级教学名师，国家级教学团队、国家级一流建设专业、国家精品课程、国家精品资源共享课负责人,主编有国家级精品教材，获国家教学成果二等奖2项，另有30来项省部级教学、科研成果奖。曾获中国高校优秀青年学者、宝钢优秀教师、航天部优秀青年教师、首都劳动奖章等。主要学术兼职有教育部高等学校计算机类专业教学指导委员会副主任、全国高校计算机教育研究会副理事长、中国计算机学会教育专委副主任，中国工程教育认证协会结论审议委员会委员、计算机类专业认证委员会成员。

第4版前言FOREWORD 本书自第1版出版以来，一直受到读者的厚爱，甚至被认为是国内“形式语言与自动机理论”课程最合适的教材，第2版和第3版先后入选普通高等教育“十一五”国家级规划教材和“十二五”普通高等教育本科国家级规划教材，第2版在2008年还被教育部评为国家级普通高等教育精品教材。尽管该教材是基础理论课程教材，按照需要，2013年出版的第3版也到了修订的时候。另外，自2013年以来，作者在教学中也有了一些新的体会，加上我国高等教育正在跨入新的阶段，所以，在第4版出版前，还是有一些话想和大家交流。 首先，到2020年，我国全面建成了小康社会，目前中国共产党正在领导我们迈向第二个百年目标，把中国建成一个富强、民主、文明、和谐的社会主义现代化国家。这个新的发展时期的人才需求明显高了，这给高等教育提出了新的要求。我们必须为党和国家培养更多水平更高、质量更好、对未来高速度发展适应性更强、德智体美劳全面发展的社会主义建设者和接班人。他们需要有更强的创新能力、更强的可持续发展能力，要能更好地承担并高质量、高水平地完成发展之潮头的引领性工作。 其次，近些年来，随着人才培养标准的建立和质量意识的强化，我们进一步清晰地表达了本科教育的定位和要求，特别是将工科人才培养的基本定位具体准确地描述为解决复杂工程问题。而教育意义上的复杂工程问题的最基本特征是“能够运用深入的工程原理经过分析才有可能解决”。另一个重要特征是“需要通过建立抽象模型才能解决，而且在建模过程中体现出创造性”。这些使得我们对工科本科教育致力于未来工程师的培养所需的教学内容和基本追求有了更深刻的体会。不仅进一步...