机读格式显示(MARC)
- 010 __ |a 978-7-302-45602-5 |d CNY39.00
- 099 __ |a CAL 012017037789
- 100 __ |a 20170328d2017 em y0chiy50 ea
- 200 1_ |a 形式语言与自动机理论引论 |A xing shi yu yan yu zi dong ji li lun yin lun |f 蒋宗礼, 姜守旭编著
- 210 __ |a 北京 |c 清华大学出版社 |d 2017
- 215 __ |a 250页 |c 图 |d 26cm
- 225 2_ |a 计算机科学与技术学科前沿丛书 |A ji suan ji ke xue yu ji shu xue ke qian yan cong shu
- 225 2_ |a 计算机科学与技术学科研究生系列教材 |A ji suan ji ke xue yu ji shu xue ke yan jiu sheng xi lie jiao cai |e 中文版
- 330 __ |a 形式语言与自动机理论因其以体现计算学科中模型描述、模型研究和模型计算为问题求解的主要特征而成为计算机科学与技术、软件工程、网络空间安全等计算机类学科教育的*重要的内容之一。本书按照我国当前计算机类及相关学科研究生教育实际需求,结合作者30余年的教学实践编著而成,以正则语言与上下文无关语言的文法、识别模型及其性质,以及图灵机基本知识为载体,分9章讨论相关内容,力图强化学生基于模型的建立、研究、处理,实现问题求解的意识,让学生掌握相应的基本方法,提升解决问题的能力与水平。
- 410 _0 |1 2001 |a 计算机科学与技术学科前沿丛书
- 410 _0 |1 2001 |a 计算机科学与技术学科研究生系列教材
- 606 0_ |a 形式语言 |A xing shi yu yan |x 研究生 |j 教材
- 606 0_ |a 自动机理论 |A zi dong ji li lun |x 研究生 |j 教材
- 701 _0 |a 蒋宗礼 |A jiang zong li |4 编著
- 701 _0 |a 姜守旭 |A jiang shou xu |4 编著
- 801 _0 |a CN |b NMU |c 20170328
- 905 __ |a SCNU |f TP301/4433/ 1