大拱桥--暨南大学学生门户 » 图书馆 » 形式语言理论 » 形式语言与自动机理论
名称 形式语言与自动机理论
索引号 TP301.2/20031.3
分类号 TP301.2
TP301.2(形式语言理论)
TP301(理论、方法)
TP30(一般性问题)
TP3(计算技术、计算机技术)
TP(自动化技术计算技术技术)
T(工业技术)
作者 蒋宗礼、姜守旭、
出版社 北京 : 清华大学出版社, 2013
ISBN 978-7-302-31802-6
页数 286页 : 图 ; 26cm
价格 CNY36.00
标签
简介
注解 “十二五”普通高等教育本科国家级规划教材 普通高等教育精品教材 有书目 本书是作者结合其近30年来在大学讲授该门课程的经验和体会，选择和组织有关内容撰写而成。基于计算机问题求解的需要讨论正则语言、上下文无关语言的文法、识别模型及其性质、图灵机的基本知识。其内容特点是抽象和形式化，既有严格的理论证明，又具有很强的构造性。
书籍简介

形式语言与自动机理论是计算机科学与技术专业的一门重要课程。《形式语言与自动机理论(第3版)》是作者蒋宗礼、姜守旭结合其近30年来在大学讲授该门课程的经验和体会，选择和组织有关内容撰写而成。基于计算机问题求解的需要讨论正则语言、上下文无关语言的文法、识别模型及其性质、图灵机的基本知识。其内容特点是抽象和形式化，既有严格的理论证明，又具有很强的构造性。叙述中特别注意引导读者分析与解决问题，以培养学生的形式化描述和抽象思维能力，使学生了解和初步掌握“问题、形式化、自动化(计算机化)”的解题思路。为了便于学生对内容的掌握，附录A还给出了建议的教学设计。

《形式语言与自动机理论(第3版)》配套出版有《形式语言与自动机理论教学参考书(第3版)》，归纳各章知识点，解读主要内容，解析典型习题。

《形式语言与自动机理论(第3版)》适合作为计算机学科研究生和高年级本科生的教材，也可供相关专业的学生、教师和科研人员参考。