题名:
自动机理论、语言和计算导论   / (美) 约翰·E. 霍普克罗夫特, 拉杰夫·莫特瓦尼, 杰弗里·D. 乌尔曼著 , 孙家骕等译
ISBN:
978-7-111-70429-4 价格: CNY119.00
语种:
chi
载体形态:
xi, 366页 图 26cm
出版发行:
出版地: 北京 出版社: 机械工业出版社 出版日期: 2022
内容提要:
本书是形式语言、自动机理论和计算复杂性方面的经典之作。书中涵盖了有穷自动机、正则表达式与语言、正则语言的性质、上下文无关文法及上下文无关语言、下推自动机、上下文无关语言的性质、图灵机、不可判定性以及难解问题等内容。本书对定义和证明进行了详细且直观的说明, 使用图来帮助阐明思想, 并包含了大量的难度各异的示例和习题, 以便读者加深对内容的理解。本书已被世界许多著名大学采纳为计算机理论课程的教材或教学参考书。 
主题词:
自动机理论  
主题词:
形式语言  
中图分类法:
TP301 版次: 5
主要责任者:
霍普克罗夫特
主要责任者:
穆特瓦尼
主要责任者:
厄尔曼
次要责任者:
孙家骕
责任者附注:
约翰·E. 霍普克罗夫特, 1986年图灵奖获得者、美国国家工程院院士、美国国家科学院院士、美国国家艺术与科学院院士、中国科学院外籍院士、美国康奈尔大学教授。拉杰夫·莫特瓦尼 (Rajeev Motwani), 斯坦福大学计算机科学系教授。杰弗里·D. 乌尔曼 (Jeffrey D. Ullman), 2020年图灵奖获得者、美国国家工程院院士、斯坦福大学计算机科学系名誉教授。