机读格式显示(MARC)

• 000 01466nam 2200337 450

• 001 0000909875

• 005 20230922114200.0

• 010 __ |a 978-7-302-63625-0 |d CNY59.90

• 100 __ |a 20230726d2023 em y0chiy50 ea

• 101 0_ |a chi

• 102 __ |a CN |b 110000

• 105 __ |a ak a 001yy

• 106 __ |a r

• 200 1_ |a 形式语言与自动机理论 |A xing shi yu yan yu zi dong ji li lun |f 蒋宗礼, 姜守旭编著

• 205 __ |a 第4版

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

• 215 __ |a XIV, 301页 |c 图 |d 26cm

• 225 2_ |a 21世纪大学本科计算机专业系列教材 |A 21 shi ji da xue ben ke ji suan ji zhuan ye xi lie jiao cai

• 300 __ |a 国家精品课程配套教材 国家级精品资源共享课程配套教材 “形式语言与自动机理论”课程相关教材及教学资源

• 314 __ |a 蒋宗礼, 1978年3月至1984年7月在哈尔滨工业大学计算机系学习, 曾经到美国、加拿大进修。

• 320 __ |a 有书目和索引

• 330 __ |a 本书基于计算机问题求解的需要讨论正则语言和上下文无关语言的文法、识别模型及其性质, 图灵机的基本知识。叙述中特别注意引导读者分析与解决问题, 以培养学生的形式化描述和抽象思维能力, 使学生了解和初步掌握“问题、形式化、自动化 (计算机化) ”的解题思路。

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

• 606 0_ |a 形式语言 |A xing shi yu yan |x 高等教育 |j 教材

• 606 0_ |a 自动机理论 |A zi dong ji li lun |x 高等教育 |j 教材

• 690 __ |a TP301 |v 5

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

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

• 801 _0 |a CN |b HDUL |c 20230922

• 905 __ |a HDUL |d TP301/433/6

• 920 __ |a 233030 |z 1