书目信息 机读格式(MARC)
形式语言与自动机
| ISBN/价格： | 978-7-302-39975-9:CNY25.00 |
|---|---|
| 作品语种： | chi |
| 出版国别： | CN 110000 |
| 题名责任者项： | 形式语言与自动机/.朱保平，李千目编著 |
| 出版发行项： | 北京:,清华大学出版社:,2015.08 |
| 载体形态项： | 151页:;+图:;+26cm |
| 丛编项： | 计算机科学与技术学科前沿丛书 |
| 一般附注： | 计算机科学与技术学科研究生系列教材(中文版) “十一五”国家重点图书 |
| 提要文摘： | 本课程主要内容包括：计算理论导引、有穷自动机、正则语言与正则文法、上下文无关语言及文法、下推自动机、图灵机、图灵机的其它模开进等内容，更涉及到本学科方法论中所包含的3个学科形态。通过本课程的学习，培养学生的形式化描述、抽象思维、从实例计算到模型计算的能力，使学生掌握“问题=形式化—自动化(计算机化)”方法，为以后的研究做好准备。 |
| 题名主题： | 形式语言 研究生 教材 |
| 题名主题： | 自动机理论 研究生 教材 |
| 中图分类： | TP301 |
| 个人名称等同： | 朱保平 编著 |
| 个人名称等同： | 李千目 编著 |
| 记录来源： | CN 人天书店 20150917 |