📖 书目详情
形式语言与自动机导论
| 著者 | (美)彼得·林茨(Peter Linz)，(美)苏珊·H.罗杰(Susan H. Rodger)著 |
| ISBN | 9787111767527 |
| 中图分类 | TP301.2 自动化技术、计算机技术 |
| 学科分类 | 工学 |
| 版次 | 第1版 |
| 出版社 | 机械工业出版社 |
| 丛书名 | 计算机科学丛书 |
| 出版年 | 2025 |
| 页码 | 477页 |
| 价格 | ¥129.00 |
| 可推荐册数 | 请登录后查看 |
| 核心评分 |
9.8/10
|
📝 内容简介
本书主要讨论形式语言与自动机理论、可计算性理论和计算复杂性理论等内容。本书强调定义和定理的准确性和严谨性，但在形式化证明中又非常注重符合直觉的理解，避免多余的数学细节。本书分为理论和应用两个部分：理论部分主要介绍有穷自动机、正则语言和文法、上下文无关语言和文法、下推自动机、图灵机、形式语言和自动机的层次结构以及计算复杂性等内容，应用部分主要介绍编译器和解析、LL解析以及LR解析。
🏛️ 本馆馆藏信息
本馆暂无该书的馆藏记录，可在线借购