机读格式显示(MARC)

• 000 01977oam2 2200409 450

• 001 0000413697

• 005 20230329181500.0

• 010 __ |a 978-7-111-70429-4 |d CNY119.00

• 021 __ |a CN |b 01-2020-6843

• 049 __ |a A330300WZL |b UCS01011140728 |c 2005644101

• 100 __ |a 20220614d2022 em y0chiy50 ea

• 101 1_ |a chi |c eng

• 102 __ |a CN |b 110000

• 105 __ |a a z 001yy

• 106 __ |a r

• 200 1_ |a 自动机理论、语言和计算导论 |A Zi Dong Ji Li Lun、Yu Yan He Ji Suan Dao Lun |d Introduction to automata theory, languages, and computation |f (美)约翰·E. 霍普克罗夫特(John E. Hopcroft)，(美)拉杰夫·莫特瓦尼(Rajeev Motwani)，(美)杰弗里·D. 乌尔曼(Jeffrey D. Ullman)著 |g 孙家骕等译 |z eng

• 210 __ |a 北京 |c 机械工业出版社 |d 2022

• 215 __ |a 11,366页 |c 图 |d 26cm

• 225 2_ |a 计算机科学丛书 |A Ji Suan Ji Ke Xue Cong Shu

• 305 __ |a 据原书第3版译出

• 305 __ |a 由Pearson Education（培生教育出版集团）授权出版

• 314 __ |a 拉杰夫·莫特瓦尼 (Rajeev Motwani)，斯坦福大学计算机科学系教授。

• 330 __ |a 本书是形式语言、自动机理论和计算复杂性方面的经典之作。书中涵盖了有穷自动机、正则表达式与语言、正则语言的性质、上下文无关文法及上下文无关语言、下推自动机、上下文无关语言的性质、图灵机、不可判定性以及难解问题等内容。本书对定义和证明进行了详细且直观的说明，使用图来帮助阐明思想，并包含了大量的难度各异的示例和习题，以便读者加深对内容的理解。

• 410 _0 |1 2001 |a 计算机科学丛书

• 510 1_ |a Introduction to automata theory, languages, and computation |z eng

• 606 0_ |a 自动机理论 |A Zi Dong Ji Li Lun

• 606 0_ |a 形式语言 |A Xing Shi Yu Yan

• 690 __ |a TP301.1 |v 5

• 690 __ |a TP301.2 |v 5

• 701 _0 |c (美) |a 霍普克罗夫特 |A Huo Pu Ke Luo Fu Te |c (Hopcroft, John E.) |4 著

• 701 _0 |c (美) |a 穆特瓦尼 |A Mu Te Wa Ni |c (Motwani, Rajeev) |4 著

• 701 _0 |c (美) |a 厄尔曼 |A E Er Man |c (Ullman, Jeffrey David) |4 著

• 702 _0 |a 孙家骕 |A Sun Jia Su |4 译

• 801 _2 |a CN |b OLCC |c 20220819

• 801 _0 |a CN |b A330300WZL |c 20220622

• 905 __ |a XATU |d TP301.1/8

• 920 __ |a 261060 |z 1