机读格式显示(MARC)

• 000 01955nam 2200409 450

• 001 0000302244

• 005 20180102121700.0

• 010 __ |a 7-111-14452-X |d CNY39.00

• 099 __ |a CAL 012004091837

• 100 __ |a 20040908d2004 ekmy0chiy0121 ea

• 101 1_ |a chi |c eng

• 102 __ |a CN |b 110000

• 105 __ |a a a 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 (美) John E. Hopcroft, Rajeev Motwani, Jeffrey D. Ullman著 |g 刘田, 姜晖, 王捍贫译 |z eng

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

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

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

• 305 __ |a 据原书第2版译

• 314 __ |a 责任者Hopcroft汉译姓:霍普克罗夫特, 责任者Motwani汉译姓:穆特瓦尼, 责任者Ullman汉译姓:厄尔曼。

• 320 __ |a 有书目和索引

• 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 |x 高等学校 |j 教材

• 606 0_ |a 形式语言 |A Xing Shi Yu Yan |x 高等学校 |j 教材

• 690 __ |a TP301 |v 4

• 701 _1 |a 霍普克罗夫特, |A huo pu ke luo fu te |b J. E. |g (Hopcroft, John E.) |4 著

• 701 _1 |a 穆特瓦尼 |A Mutewani |g (Motwani, R.) |4 著 |3 CAL n2016225465# |7 jt0yjt0y |7 ec0yec0y

• 701 _1 |a 厄尔曼, |A e er man |b J. D. |g (Ullman, Jeffrey D.) |4 著

• 702 _0 |a 刘田 |A Liu Tian |4 译

• 702 _0 |a 姜晖 |A Jiang Hui |4 译

• 702 _0 |a 王捍贫 |A Wang Han Pin |4 译

• 801 _0 |a CN |b NMU |c 20040908

• 905 __ |a XATU |d TP301/51

• 920 __ |a 261060 |z 1

• 998 __ |a NMU