形式语言与自动机理论引论

编辑推荐：形式语言与自动机理论因其以体现计算学科中模型描述、模型研究和模型计算为问题求解的主要特征而成为计算机科学与技术、软件工程、网络空间安全等计算机类学科教育的*重要内容之一。本书按照我国相关学科研究生教育当前的实际需求，根据作者30余年的教学实践编著而成，以正则语言与上下文无关语言的文法、识别模型及其性质，以及图灵机基本知识为载体，分9章讨论相关内容，力图使学生建立基于模型的建立、研究、处理而实现问题求解的意识，掌握相应的基本方法，提升解决问题的能力与水平。? 本书是基于国家精品教材《形式语言与自动机理论》编著的，重点考虑了研究生教育的需求。? 通过模型建立、等价变换、性质分析，使读者逐渐熟悉模型计算。层次分明，循序渐进，符合认知规律，突出设计形态内容，很好地体现了本专业理工兼有的特征和学科“抽象*”的教育基本原理。? 引导能力导向的教育。以知识为载体，注重模型建立、构造、变换、证明的方法与思想探讨，挖掘知识背后的内容，支持研究型教学，强化专业基本能力和创新能力的培养。? 取材合适，结构严谨，深入浅出，把握知识点间的联系，安排铺垫，分散难点，突出重点，努力化解深奥，保持基本内容抽象和形式化，通过思路表达的可视化提高了易懂性，富有启发性，使抽象、枯燥的内容变得吸引人。? 配有大量难度适当、前后呼应、富有启发性、努力结合专业、宏观和微观兼有的习题。附教学设计、缩写符号、词汇索引等，便于学习。教学资源：? 《形式语言与自动机理论(第3版)》（ISBN 9787302318026）：“十二五”普通高等教育本科*规划教材，高等教育*精品教材，北京市教学成果一等奖，北京市高等教育精品教材。优秀经典教材。本书集作者30余年相应课程的教学经验和20余年对专业教育的研究体会编著而成。自第1版在2003年出版以来，受到读者的厚爱，成为是国内主创的、发行量*、*秀的形式语言与自动机理论教材。? 《形式语言与自动机理论教学参考书(第3版)》（ISBN 9787302317814）：本书根据作者作为《形式语言与自动机理论》一书的配套读物，按照原书的结构编写而成。重点讨论有关内容的讲解和学习的要点、问题分析、求解思路和方法、注意事项、典型习题的解析等。按照小节给出知识点和主要内容解读。为读者学习和掌握原书中的知识点和问题求解方法、体会问题求解的核心思想提供帮助，对教师和学生来说，阅读这些内容都是有意义的。? 主教材的PPT电子课件：可在清华大学出版社网站下载。    本书是研究生和高年级本科生学习“形式语言与自动机理论”课程的优秀教材，配套教学资源丰富。本书的PPT电子课件、配套的源代码，可在清华大学出版社官网http://www.tup.com.cn下载。
 

形式语言与自动机理论因其以体现计算学科中模型描述、模型研究和模型计算为问题求解的主要特征而成为计算机科学与技术、软件工程、网络空间安全等计算机类学科教育的*重要的内容之一。本书按照我国当前计算机类及相关学科研究生教育实际需求，结合作者30余年的教学实践编著而成，以正则语言与上下文无关语言的文法、识别模型及其性质，以及图灵机基本知识为载体，分9章讨论相关内容，力图强化学生基于模型的建立、研究、处理，实现问题求解的意识，让学生掌握相应的基本方法，提升解决问题的能力与水平。 本书适合计算机类及相关学科研究生使用，也可以供相关专业高年级本科生、教师和科研人员参考。

 蒋宗礼，教授，博士生导师。*教学名师，享受政府特殊津贴，国家精品课程、国家精品资源共享课“编译原理”负责人、计算机软件基础课*教学团队负责人, 主编高等教育“十一五”、“十二五”*规划教材多部，《形式语言与自动机理论》为普通高等教育*精品教材。获国家教学成果二等奖2项，省部级教学、科研奖励十多项。曾获CCF杰出教育奖和中国高校优秀青年学者、宝钢优秀教师、航天部优秀青年教师等荣誉称号。主要学术兼职有中国工程教育认证协会学术委员会委员、结论审议委员会委员、计算机类专业认证委员会委员、教育部高校计算机类专业教学指导委员会副主任，历任全国高校计算机教育研究会正、副理事长，中国计算机学会教育专委正、副主任，中国计算机学会教育工委正、副主任，是计算机类*教学团队协作组发起人、国家精品资源共享课建设专家组成员。近年主讲编译原理、形式语言与自动机理论、新生研讨课等。

评论