机读格式显示(MARC)

• 000 01657nam2 2200409 4500

• 000 0000090450

• 001 0000070908

• 005 20031121143800.0

• 009 4338

• 010 __ |a 7-302-06103-3 |d CNY28.00

• 035 __ |a (110017)012003017044

• 100 __ |a 20031118d2003 em y0chiy0110 ea

• 101 0_ |a chi

• 102 __ |a CN |b 110000

• 105 __ |a y z 000yy

• 106 __ |a r

• 200 10 |a 形式语言与自动机理论 |9 Xingshiyuyanyuzidongjililun |P XSYYYZDJLL |f 蒋宗礼, 姜守旭编著

• 210 __ |a 北京 |c 清华大学出版社 |d 2003

• 215 __ |a 12,346页 |d 23cm

• 225 2_ |a 21世纪大学本科计算机专业系列教材 |A 21Shijidaxuebenkejisuanjizhuanyexiliejiaocai

• 330 __ |a 本书不仅含有有关正则语言、上下文无关语言的文法、识别模型及其性质、图灵机的基本知识，更涉及到本学科方法论中所包含的三个学科形态。其内容特点是抽象和形式化，既有严格的理论证明、又具有很强的构造性，从而培养学生的形式化描述和抽象思维能力，使学生了解和初步掌握“问题、形式化、自动化（计算机化）”的解题思路。

• 410 _0 |1 2001 |a 21世纪大学本科计算机专业系列教材

• 461 _0 |1 2001 |a 21世纪大学本科计算机专业系列教材

• 606 0_ |a 形式语言 |A Xingshiyuyan |x 高等学校 |j 教材

• 606 0_ |a 自动机理论 |A Zidongjililun |x 高等学校 |j 教材

• 606 0_ |a 形式语言 |A Xingshiyuyan

• 606 0_ |a 自动机理论 |A Zidongjililun

• 690 __ |a TP301.2 |v 4

• 690 __ |a TP301.1 |v 4

• 701 _0 |a 蒋宗礼 |9 jiang zong li |4 编著

• 701 _0 |a 姜守旭 |9 jiang shou xu |4 编著

• 801 _0 |a CN |b 021001 |c 20030220

• 801 _2 |a CN |b 261060 |c 20031121

• 905 __ |a XATU |d TP301.2/4

• 991 __012003020585

• 995 __ |a 261060 |f TP301.2/4

• 999 __ |t C |A shxy |a 20031118 15:22:14 |M shxy |m 20031118 15:22:59 |I zw |i 20031121 14:38:00 |G zw |g 20031121 14:38:0