MARC状态:已编 文献类型:中文图书 浏览次数:45
- 题名/责任者:
- 自动机理论、语言和计算导论/(美) John E. Hopcroft, Rajeev Motwani, Jeffrey D. Ullman著 刘田, 姜晖, 王捍贫译
- 出版发行项:
- 北京:机械工业出版社,2004
- ISBN及定价:
- 7-111-14452-X/CNY39.00
- 载体形态项:
- 366页:图;26cm
- 丛编项:
- 计算机科学丛书
- 个人责任者:
- 霍普克罗夫特, J. E. (Hopcroft, John E.) 著
- 个人责任者:
- 穆特瓦尼 (Motwani, R.) 著
- 个人责任者:
- 厄尔曼, J. D. (Ullman, Jeffrey D.) 著
- 个人次要责任者:
- 刘田 译
- 个人次要责任者:
- 姜晖 译
- 个人次要责任者:
- 王捍贫 译
- 学科主题:
- 自动机理论-高等学校-教材
- 学科主题:
- 形式语言-高等学校-教材
- 中图法分类号:
- TP301
- 版本附注:
- 据原书第2版译
- 责任者附注:
- 责任者Hopcroft汉译姓:霍普克罗夫特, 责任者Motwani汉译姓:穆特瓦尼, 责任者Ullman汉译姓:厄尔曼。
- 书目附注:
- 有书目和索引
- 提要文摘附注:
- 本书是关于形式语言、自动机理论和计算复杂性方面的经典之作。书中涵盖了有穷自动机、正则表达式与语言、正则语言的性质、上下文无关文法及上下文无关语言、下推自动机、上下文无关语言的性质、图灵机、不可判定性以及难解问题等内容。本书在定义和证明中使用了很多细节和直观说明,使用图来帮助阐明思想,并包含了大量的难度各异的示例和习题,以便读者确认和加深对内容的理解。
全部MARC细节信息>>