MARC状态：审校 文献类型：中文图书 浏览次数：10
- 题名/责任者:
- 形式语言与自动机理论/蒋宗礼，姜守旭编著
- 版本说明:
- 4版
- 出版发行项:
- 北京:清华大学出版社,2023.06
- ISBN及定价:
- 978-7-302-63625-0/CNY59.90
- 载体形态项:
- 14,301页:图;26cm
- 个人责任者:
- 蒋宗礼 编著
- 个人责任者:
- 姜守旭 编著
- 学科主题:
- 形式语言-高等教育-教材
- 学科主题:
- 自动机理论-高等教育-教材
- 中图法分类号:
- TP301.2
- 中图法分类号:
- TP301.1
- 一般附注:
- “十二五”普通高等教育本科国家级规划教材 普通高等教育精品教材 国家精品课程配套教材 国家级精品资源共享课程配套教材 “形式语言与自动机理论”课程相关教材及教学资源 21世纪大学本科计算机专业系列教材/李晓明主编
- 提要文摘附注:
- 本书基于计算机问题求解的需要讨论正则语言和上下文无关语言的文法、识别模型及其性质，图灵机的基本知识。叙述中特别注意引导读者分析与解决问题，以培养学生的形式化描述和抽象思维能力，使学生了解和初步掌握“问题、形式化、自动化(计算机化)”的解题思路。
全部MARC细节信息>>
| 索书号 | 条码号 | 年卷期 | 校区—馆藏地 | 书刊状态 | 还书位置 |
| TP301.2/16-4 | S3856692 | 总馆—自然书库（凤阳） | 可借 | 自然书库（凤阳） | |
| TP301.2/16-4 | S3856693 | 总馆—自然书库（凤阳） | 可借 | 自然书库（凤阳） | |
| TP301.2/16-4 | S3856694 | 总馆—自然书库（凤阳） | 可借 | 自然书库（凤阳） |
显示全部馆藏信息