书目信息 机读格式(MARC)
形式语言与自动机理论
| ISBN/价格： | 978-7-302-63625-0:CNY59.90 |
|---|---|
| 作品语种： | chi |
| 出版国别： | CN 110000 |
| 题名责任者项： | 形式语言与自动机理论/.蒋宗礼，姜守旭编著 |
| 版本项： | 4版 |
| 出版发行项： | 北京:,清华大学出版社:,2023.06 |
| 载体形态项： | 14,301页:;+26cm |
| 丛编项： | 21世纪大学本科计算机专业系列教材 |
| 一般附注： | “十二五”普通高等教育本科国家级规划教材 普通高等教育精品教材 国家精品课程配套教材 国家级精品资源共享课程配套教材 “形式语言与自动机理论”课程相关教材及教学资源 |
| 提要文摘： | 本书基于计算机问题求解的需要讨论正则语言和上下文无关语言的文法、识别模型及其性质，图灵机的基本知识。叙述中特别注意引导读者分析与解决问题，以培养学生的形式化描述和抽象思维能力，使学生了解和初步掌握“问题、形式化、自动化(计算机化)”的解题思路。 |
| 题名主题： | 形式语言 高等教育 教材 |
| 题名主题： | 自动机理论 高等教育 教材 |
| 中图分类： | TP301.2 |
| 中图分类： | TP301.1 |
| 个人名称等同： | 蒋宗礼 编著 |
| 个人名称等同： | 姜守旭 编著 |
| 记录来源： | CN TSG 20240113 |