同类推荐
-
-
云攻击向量
-
¥89.80
-
-
云攻击向量
-
¥89.80
-
-
云攻击向量
-
¥89.80
-
-
Photoshop图像处理基础教程:Photoshop…
-
¥79.80
-
-
Python大模型优化策略:理论与实践
-
¥149.00
-
-
Python大模型优化策略:理论与实践
-
¥149.00
-
-
Python大模型优化策略:理论与实践
-
¥149.00
-
-
Unity数字孪生开发入门与实战
-
¥59.00
-
-
功能游戏概论
-
¥69.00
-
-
After Effects影视特效设计教程:微课版
-
¥69.80
|
|
图书信息
|
|
|
形式语言与自动机导论
|
ISBN: | 9787111767527 |
定价: | ¥129.00 |
作者: | (美)彼得·林茨(Peter Linz),(美)苏珊·H.罗杰(Susan H. Rodger)著 |
出版社: | 机械工业出版社 |
出版时间: | 2025年02月 |
开本: | 26cm |
页数: | 477页 |
中图法: | TP301.2;TP301.2 |
相关供货商
供货商名称
|
库存量
|
库区
|
更新日期
|
北京人天书店有限公司
|
90
|
库区13/库区4/库区7/样本13/样本4/样本7
|
2025-08-29
|
其它供货商库存合计
|
500
|
|
2025-08-29
|
图书简介 | 本书主要讨论形式语言与自动机理论、可计算性理论和计算复杂性理论等内容。本书强调定义和定理的准确性和严谨性,但在形式化证明中又非常注重符合直觉的理解,避免多余的数学细节。本书分为理论和应用两个部分:理论部分主要介绍有穷自动机、正则语言和文法、上下文无关语言和文法、下推自动机、图灵机、形式语言和自动机的层次结构以及计算复杂性等内容,应用部分主要介绍编译器和解析、LL解析以及LR解析。 |
|