机读格式显示(MARC)

• 000 01288nam0 2200289 450

• 001 0000714090

• 005 20240531232600.0

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

• 100 __ |a 20230625d2023 em y0chiy50 ea

• 101 0_ |a chi

• 102 __ |a CN |b 110000

• 105 __ |a ak z 001yy

• 106 __ |a r

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

• 205 __ |a 4版

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

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

• 300 __ |a “十二五”普通高等教育本科国家级规划教材 普通高等教育精品教材 国家精品课程配套教材 国家级精品资源共享课程配套教材 “形式语言与自动机理论”课程相关教材及教学资源 21世纪大学本科计算机专业系列教材/李晓明主编

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

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

• 606 0_ |a 自动机理论 |A Zi Dong Ji Li Lun |x 高等教育 |j 教材

• 690 __ |a TP301.2 |v 5

• 690 __ |a TP301.1 |v 5

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

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

• 801 _0 |a CN |b 万品图书 |c 20240524

• 905 __ |a LIB |d TP301.2/16-4