机读格式显示(MARC)
- 010 __ |a 978-7-111-70429-4 |d CNY119.00
- 100 __ |a 20220526d2022 em y0chiy50 ea
- 200 1_ |a 自动机理论、语言和计算导论 |A zi dong ji li lun 、yu yan he ji suan dao lun |e 典藏版 |f (美) 约翰·E. 霍普克罗夫特, 拉杰夫·莫特瓦尼, 杰弗里·D. 乌尔曼著 |d = Introduction to automata theory, languages, and computation |f John E. Hopcroft, Rajeev Motwani, Jeffrey D. Ullman |g 孙家骕等译 |z eng
- 210 __ |a 北京 |c 机械工业出版社 |d 2022
- 215 __ |a xi, 366页 |c 图 |d 26cm
- 225 2_ |a 计算机科学丛书 |A ji suan ji ke xue cong shu
- 306 __ |a 本书中文简体字版由Pearson Education培生教育出版集团授权机械工业出版社在中国大陆地区 (不包括香港、澳门特别行政区) 独家出版
- 314 __ |a 约翰·E. 霍普克罗夫特, 1986年图灵奖获得者、美国国家工程院院士、美国国家科学院院士、美国国家艺术与科学院院士、中国科学院外籍院士、美国康奈尔大学教授。拉杰夫·莫特瓦尼 (Rajeev Motwani), 斯坦福大学计算机科学系教授。杰弗里·D. 乌尔曼 (Jeffrey D. Ullman), 2020年图灵奖获得者、美国国家工程院院士、斯坦福大学计算机科学系名誉教授。
- 330 __ |a 本书是形式语言、自动机理论和计算复杂性方面的经典之作。书中涵盖了有穷自动机、正则表达式与语言、正则语言的性质、上下文无关文法及上下文无关语言、下推自动机、上下文无关语言的性质、图灵机、不可判定性以及难解问题等内容。本书对定义和证明进行了详细且直观的说明, 使用图来帮助阐明思想, 并包含了大量的难度各异的示例和习题, 以便读者加深对内容的理解。本书已被世界许多著名大学采纳为计算机理论课程的教材或教学参考书。
- 410 _0 |1 2001 |a 计算机科学丛书
- 500 10 |a Introduction to automata theory, languages, and computation |A Introduction To Automata Theory, Languages, And Computation |m Chinese
- 517 1_ |a 典藏版 |A Dian Cang Ban
- 606 0_ |a 自动机理论 |A zi dong ji li lun
- 606 0_ |a 形式语言 |A xing shi yu yan
- 701 _1 |a 霍普克罗夫特 |A huo pu ke luo fu te |g (Hopcroft, John E.) |4 著
- 701 _1 |a 穆特瓦尼 |A mu te wa ni |g (Motwani, Rajeev) |4 著
- 701 _1 |a 乌尔曼 |A wu er man |g (Ullman, Jeffrey D.) |4 著
- 702 _0 |a 孙家骕 |A sun jia su |4 译
- 801 _0 |a CN |b 湖北三新 |c 20220526
- 905 __ |a AUSTL |d TP301/H622