形式语言与自动机理论（第3版）
图书信息
书名：形式语言与自动机理论（第3版）作者：蒋宗礼,姜守旭
包装：平装
开本：16
页数：287页
全文字数：471000
出版社：清华大学出版社
出版时间：2013-5
图书简介
《形式语言与自动机理论（第3版）》是计算机科学与技术专业的重要课程教材，由作者结合其三十年来在大学讲授该门课程的经验和体会，选择和组织有关内容撰写而成。本书基于计算机问题求解的需要，讨论正则语言、上下文无关语言的文法、识别模型及其性质、图灵机的基本知识。叙述中特别注意引导读者分析与解决问题，以培养学生的形式化描述和抽象思维能力，使学生了解和初步掌握“问题、形式化、自动化（计算机化）”的解题思路。此外，附录A还提供了建议的教学设计，便于学生掌握本书内容。适合作为计算机学科研究生和高年级本科生的教材，也可供相关专业的学生、教师和科研人员参考。
推荐理由
《形式语言与自动机理论（第3版）》是一本非常好的计算机科学与技术专业的教材。作者集结了三十年的教学经验和二十年的专业研究体会，将相关内容进行了选择和组织，撰写出这本特别严谨而又富有构造性的教材。它将问题、形式化、自动化这些解题思路贯穿整个课程，培养学生的形式描述和抽象思维能力。本书不仅适合计算机学科研究生和高年级本科生，也适合相关专业的学生、教师和科研人员的参考学习。