同类推荐
-
-
网络服务器配置与管理
-
¥49.00
-
-
Stable Diffusion AIGC视觉教程
-
¥59.80
-
-
即梦Seedance AI视频生成与变现实战
-
¥79.00
-
-
视觉人工智能基础
-
¥128.00
-
-
视觉人工智能基础
-
¥128.00
-
-
视觉人工智能基础
-
¥128.00
-
-
人工智能视觉检测与安全防范
-
¥99.00
-
-
人工智能视觉检测与安全防范
-
¥99.00
-
-
人工智能视觉检测与安全防范
-
¥99.00
-
-
MySQL数据库基础
-
¥49.80
|
|
图书信息
|
|
|
|
形式语言与自动机导论
|
| ISBN： | 9787111767527 |
定价： | ￥129.00 |
| 作者： | (美)彼得·林茨(Peter Linz)，(美)苏珊·H.罗杰(Susan H. Rodger)著 |
出版社： | 机械工业出版社 |
| 出版时间： | 2025年02月 |
开本： | 26cm |
| 页数： | 477页 |
装祯： | 平装 |
中图法： | TP301.2;TP301.2 |
相关供货商
|
供货商名称
|
库存量
|
库区
|
更新日期
|
|
北京人天书店有限公司
|
96
|
库区13/库区4/库区7/样本13/样本4/样本7
|
2026-04-30
|
|
其它供货商库存合计
|
500
|
|
2026-04-30
|
图书简介 | | 本书主要讨论形式语言与自动机理论、可计算性理论和计算复杂性理论等内容。本书强调定义和定理的准确性和严谨性，但在形式化证明中又非常注重符合直觉的理解，避免多余的数学细节。本书分为理论和应用两个部分：理论部分主要介绍有穷自动机、正则语言和文法、上下文无关语言和文法、下推自动机、图灵机、形式语言和自动机的层次结构以及计算复杂性等内容，应用部分主要介绍编译器和解析、LL解析以及LR解析。 |
|