同类推荐
-
-
软件测试策略
-
¥99.00
-
-
软件测试策略
-
¥99.00
-
-
软件测试策略
-
¥99.00
-
-
计算机基础及WPS Office应用教程 第二版
-
¥59.80
-
-
Python数据分析任务驱动教程
-
¥69.80
-
-
C++程序设计语言（第4版）（上、下册）
-
¥249.80
-
-
C++程序设计语言（第4版）（上、下册）
-
¥249.80
-
-
C++程序设计语言（第4版）（上、下册）
-
¥249.80
-
-
Stable Diffusion与ComfyUI工作流…
-
¥79.80
-
-
GESP大通关
-
¥88.00
|
|
图书信息
|
|
|
|
形式语言与自动机导论
|
| ISBN： | 9787111767527 |
定价： | ￥129.00 |
| 作者： | (美)彼得·林茨(Peter Linz)，(美)苏珊·H.罗杰(Susan H. Rodger)著 |
出版社： | 机械工业出版社 |
| 出版时间： | 2025年02月 |
开本： | 26cm |
| 页数： | 477页 |
装祯： | 平装 |
中图法： | TP301.2;TP301.2 |
相关供货商
|
供货商名称
|
库存量
|
库区
|
更新日期
|
|
北京人天书店有限公司
|
34
|
库区4/库区7/样本4/样本7
|
2025-12-21
|
|
其它供货商库存合计
|
500
|
|
2025-12-19
|
图书简介 | | 本书主要讨论形式语言与自动机理论、可计算性理论和计算复杂性理论等内容。本书强调定义和定理的准确性和严谨性，但在形式化证明中又非常注重符合直觉的理解，避免多余的数学细节。本书分为理论和应用两个部分：理论部分主要介绍有穷自动机、正则语言和文法、上下文无关语言和文法、下推自动机、图灵机、形式语言和自动机的层次结构以及计算复杂性等内容，应用部分主要介绍编译器和解析、LL解析以及LR解析。 |
|