{正版现货新书} 形式语言与自动机导论原书第7版 9787111767527 (美)彼得·林茨(Peter Linz),(美)苏珊·H.罗杰(Susan H.Rodger) 著王春宇,袁永峰译

全新正版现货，以书名为准，放心购买，购书咨询18931383650朱老师

90.47 7.0折 129 全新

库存16件

北京丰台

送至北京市朝阳区

运费快递￥5.00

认证卖家担保交易快速发货售后保障

作者(美)彼得·林茨(Peter Linz),(美)苏珊·H.罗杰(Susan H.Rodger) 著王春宇,袁永峰译

出版社机械工业出版社

ISBN9787111767527

出版时间2025-02

装帧平装

开本16开

定价129元

货号1203539080

上书时间2025-03-04

评价23244好评率 99.97%

海***时
很好，包装仔细，物流也很快。
...
黑***黑
这品相，实在称不上全新，反馈店家毫无音信
...

查看全部评价

黎明书店

十五年老店

已实名已认证进店收藏店铺

在售商品暂无
平均发货时间 9小时
好评率 99.97%

最新上架

全新正版图书以学为本：核心素养导向的文言文教学重构庄月芳福建教育出版社9787575800129 黎明书店 ¥17.10

全新正版图书湖南考辑刊（17集）湖南省文物考古研究院科学出版社9787030794734 黎明书店 ¥156.40

全新正版图书一切发生都是好的礼物郭凯燕中国商务出版社9787510353543 黎明书店 ¥25.70

全新正版图书创新与发展:中国企业数字化转型典型案例集牟晖经济科学出版社9787521862942 黎明书店 ¥34.20

全新正版图书清圣祖康熙全传朱元鹏企业管理出版社9787802559189 黎明书店 ¥17.10

全新正版图书北纬，南纬袁海厅九州出版社9787522530918 黎明书店 ¥46.10

全新正版图书 50天逐项突破N1:10天:语法篇大连理工大学出版社9787568516839 黎明书店 ¥14.10

全新正版图书中国新闻传播教育年鉴（24）中国新闻史学会新闻传播教育史研武汉大学出版社9787307246188 黎明书店 ¥128.10

全新正版图书精密工程测量李宗春科学出版社9787030801487 黎明书店 ¥62.40

商品详情

品相描述：全新

商品描述: 目录
译者序

前言

理论部分

第1章计算理论概论 2

1.1 数学预备知识和符号表示 3

1.1.1 集合 3

1.1.2 函数和关系 5

1.1.3 图和树 8

1.1.4 证明方法 9

1.2 三个基本概念 15

1.2.1 语言 15

1.2.2 文法 19

1.2.3 自动机 24

1.3 应用 * 27

第2章有穷自动机 33

2.1 确定的有穷接受器 33

2.1.1 确定的接受器和转移图 34

2.1.2 语言和 DFA 的语言 36

2.1.3 正则语言 40

2.2 非确定的有穷接受器 44

2.2.1 非确定的接受器的定义 44

2.2.2 为什么需要非确定性？ 48

2.3 确定与非确定的有穷接受器的等价性 51

2.4 减少有穷自动机中状态的化简 * 58

第3章正则语言和正则文法 64

3.1 正则表达式. 64

3.1.1 正则表达式的形式定义 64

3.1.2 正则表达式所关联的语言 65

3.2 正则表达式和正则语言的联系 70

3.2.1 正则表达式表示正则语言 70

3.2.2 正则语言的正则表达式 72

3.2.3 描述简单模式的正则表达式 77

3.3 正则文法 80

3.3.1 左线性文法和右线性文法 80

3.3.2 右线性文法生成正则语言 81

3.3.3 正则语言的右线性文法 83

3.3.4 正则语言和正则文法的等价性 85

第4章正则语言的性质 89

4.1 正则语言的封闭性 90

4.1.1 简单集合运算的封闭性 90

4.1.2 其他运算的封闭性 92

4.2 正则语言的基本问题 99

4.3 识别非正则语言 102

4.3.1 鸽巢原理的使用 102

4.3.2 泵引理 103

第5章上下文无关语言 113

5.1 上下文无关文法 114

5.1.1 上下文无关文法示例 114

5.1.2 最左推导和最右推导 116

5.1.3 推导树 117

5.1.4 句型和推导树的关系 119

5.2 解析和歧义性 123

5.2.1 解析和成员资格 123

5.2.2 文法和语言的歧义性 127

5.3 上下文无关文法和程序设计语言 132

第6章上下文无关文法的化简和范式 135

6.1 文法转换的方法 136

6.1.1 有用的代入规则 136

6.1.2 消除无用的产生式 138

6.1.3 消除 λ-产生式 141

6.1.4 消除单元产生式 143

6.2 两种重要的范式 149

6.2.1 乔姆斯基范式 150

6.2.2 格雷巴赫范式 152

6.3 上下文无关文法的成员资格判定算法 * 156

第7章下推自动机 159

7.1 非确定的下推自动机 160

7.1.1 下推自动机的定义 160

7.1.2 下推自动机接受的语言 163

7.2 下推自动机和上下文无关语言 168

7.2.1 上下文无关语言对应的下推自动机 168

7.2.2 下推自动机对应的上下文无关文法 173

7.3 确定的下推自动机和确定的上下文无关语言 179

7.4 确定的上下文无关语言的文法 * 184

第8章上下文无关语言的性质 188

8.1 两个泵引理 188

8.1.1 上下文无关语言的泵引理 189

8.1.2 线性语言的泵引理 192

8.2 上下文无关语言的封闭性和判定算法 196

8.2.1 上下文无关语言的封闭性 197

8.2.2 上下文无关语言的一些可判定性质 200

第9章图灵机 204

9.1 标准的图灵机 204

9.1.1 图灵机的定义 205

9.1.2 作为语言接受器的图灵机 209

9.1.3 作为转换器的图灵机 212

9.2 完成复杂任务的组合图灵机 218

9.3 图灵论题 222

第10章图灵机的其他模型 225

10.1 对图灵机的小改动 225

10.1.1 自动机类的等价性 226

10.1.2 可驻停图灵机 226

10.1.3 半无穷带图灵机 228

10.1.4 离线图灵机 229

10.2 具有更复杂存储的图灵机 232

10.2.1 多带图灵机 232

10.2.2 多维图灵机 234

10.3 非确定的图灵机 236

……

内容摘要
本书是理论计算机科学方面的经典教材，主要讨论形式语言与自动机理论、可计算性理论和计算复杂性理论等内容。本书分为理论和应用两个部分：理论部分主要介绍有穷自动机、正则语言和文法、上下文无关语言和文法、下推自动机、图灵机、形式语言和自动机的层次结构以及计算复杂性等内容，应用部分主要介绍编译器和解析、LL解析以及LR解析。

特色及重点更新

·强调定义和定理的准确性和严谨性，但在形式化证明中又非常注重符合直觉的理解，避免多余的数学细节。

·“以解决问题的方式”构建学习路径，即通过问题型示例帮助读者理解概念及其与定义和定理的联系，并通过练习题不断提高解决问题的能力。

·新增大量“入门练习题”，这些练习题非常简单，可帮助初学者快速理解概念。

·应用部分新增了大量内容，讨论有关编译器构造的重要问题。

主编推荐
专为形式语言、自动机、可计算性和相关方向的入门课程而设计，免费提供交互式实验软件JFLAP。

学习本书内容可帮助读者理解计算的本质和限制，增强形式化能力与推理能力。

自动机理论为信息技术的各个领域提供理论模型和设计算法，可应用于自然语言处理、人工智能等众多领域。