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