安徽理工大学图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

自动机理论、语言和计算导论:典藏版/(美) 约翰·E. 霍普克罗夫特, 拉杰夫·莫特瓦尼, 杰弗里·D. 乌尔曼著 孙家骕等译

出版发行项:

北京:机械工业出版社,2022

ISBN及定价:

978-7-111-70429-4/CNY119.00

载体形态项:

xi, 366页:图;26cm

统一题名:

Introduction to automata theory, languages, and computation

其它题名:

典藏版

丛编项:

计算机科学丛书

个人责任者:

霍普克罗夫特 (Hopcroft, John E.) 著

个人责任者:

穆特瓦尼 (Motwani, Rajeev) 著

个人责任者:

乌尔曼 (Ullman, Jeffrey D.) 著

个人次要责任者:

孙家骕 译

学科主题:

自动机理论

学科主题:

形式语言

中图法分类号:

TP301

版本附注:

译自原书第3版

出版发行附注:

本书中文简体字版由Pearson Education培生教育出版集团授权机械工业出版社在中国大陆地区 (不包括香港、澳门特别行政区) 独家出版

责任者附注:

约翰·E. 霍普克罗夫特, 1986年图灵奖获得者、美国国家工程院院士、美国国家科学院院士、美国国家艺术与科学院院士、中国科学院外籍院士、美国康奈尔大学教授。拉杰夫·莫特瓦尼 (Rajeev Motwani), 斯坦福大学计算机科学系教授。杰弗里·D. 乌尔曼 (Jeffrey D. Ullman), 2020年图灵奖获得者、美国国家工程院院士、斯坦福大学计算机科学系名誉教授。

书目附注:

有书目和索引

提要文摘附注:

本书是形式语言、自动机理论和计算复杂性方面的经典之作。书中涵盖了有穷自动机、正则表达式与语言、正则语言的性质、上下文无关文法及上下文无关语言、下推自动机、上下文无关语言的性质、图灵机、不可判定性以及难解问题等内容。本书对定义和证明进行了详细且直观的说明, 使用图来帮助阐明思想, 并包含了大量的难度各异的示例和习题, 以便读者加深对内容的理解。本书已被世界许多著名大学采纳为计算机理论课程的教材或教学参考书。

豆瓣简介：