机读格式显示(MARC)

• 000 01303nam0 2200325 450

• 001 0000378181

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

• 092 __ |a CN |b 人天1027-1977

• 100 __ |a 20220516d2022 em y0chiy50 ea

• 101 0_ |a chi

• 102 __ |a CN |b 110000

• 105 __ |a y z 000yy

• 106 __ |a r

• 200 1_ |a 自动机理论、语言和计算导论 |e 典藏版 |f (美)约翰·E.霍普克罗夫特，(美)拉杰夫·莫特瓦尼，(美)杰弗里·D.乌尔曼著 |g 孙家骕等译

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

• 215 __ |a 380页 |d 26cm

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

• 333 __ |a 高等院校计算机专业高年级本科生及研究生，从事理论计算工作的研究人员

• 606 0_ |a 自动机理论

• 606 0_ |a 形式语言

• 690 __ |a TP301 |v 5

• 701 _0 |c (美) |a 约翰·E.霍普克罗夫特 |4 著

• 701 _0 |c (美) |a 拉杰夫·莫特瓦尼 |4 著

• 701 _0 |c (美) |a 杰弗里·D.乌尔曼 |4 著

• 702 _0 |a 孙家骕 |4 译

• 801 _0 |a CN |b 人天书店 |c 20220518

• 901 __ |a 机械工业出版社

• 902 __ |a Rt1026-0616

• 962 __ |a 7411627

• 997 __ |a 可供