形式语言与自动机理论（第4版） / 21世纪大学本科计算机专业系列教材
￥59.90定价
作者： 蒋宗礼，姜守旭
出版时间：2023-06
出版社：清华大学出版社
- 清华大学出版社
- 9787302636250
- 4-1
- 463616
- 47246573-1
- 16开
- 2023-06
- 计算机
- 本科
内容简介
形式语言与自动机理论是计算机类专业的一门重要课程。本书是作者结合其近40年来在大学讲授该门课程的经验和体会，选择和组织有关内容撰写而成。基于计算机问题求解的需要讨论正则语言和上下文无关语言的文法、识别模型及其性质，图灵机的基本知识。其内容特点是抽象和形式化，既有严格的理论证明，又具有很强的构造性。叙述中特别注意引导读者分析与解决问题，以培养学生的形式化描述和抽象思维能力，使学生了解和初步掌握“问题、形式化、自动化（计算机化）”的解题思路。为了便于学生对内容的掌握，附录A还给出了建议的教学设计。 本书配套出版有《形式语言与自动机理论教学参考书》（第4版），归纳各章知识点，解读主要内容，解析典型习题。 本书适合作为计算机学科研究生和高年级本科生的教材，也可供相关专业的学生、教师和科研人员参考。
