图书介绍
21世纪大学本科计算机专业系列教材 形式语言与自动机理论 第3版PDF|Epub|txt|kindle电子书版本网盘下载
- 蒋宗礼，姜守旭编著 著
- 出版社： 北京：清华大学出版社
- ISBN：9787302318026
- 出版时间：2013
- 标注页数：287页
- 文件大小：98MB
- 文件页数：302页
- 主题词：形式语言－高等学校－教材；自动机理论－高等学校－教材
PDF下载
下载说明
21世纪大学本科计算机专业系列教材 形式语言与自动机理论 第3版PDF格式电子书版下载
下载的文件为RAR压缩包。需要使用解压软件进行解压得到PDF格式图书。建议使用BT下载工具Free Download Manager进行下载,简称FDM(免费,没有广告,支持多平台）。本站资源全部打包为BT种子。所以需要使用专业的BT下载软件进行下载。如BitComet qBittorrent uTorrent等BT下载工具。迅雷目前由于本站不是热门资源。不推荐使用！后期资源热门了。安装了迅雷也可以迅雷进行下载！
（文件页数 要大于 标注页数，上中下等多册电子书除外）
注意：本站所有压缩包均有解压码： 点击下载压缩包解压工具
图书目录
第1章 绪论1
1.1 集合的基础知识2
1.1.1 集合及其表示2
1.1.2 集合之间的关系4
1.1.3 集合的运算5
1.2 关系10
1.2.1 二元关系10
1.2.2 等价关系与等价类11
1.2.3 关系的合成12
1.2.4 递归定义与归纳证明12
1.2.5 关系的闭包15
1.3 图15
1.3.1 无向图16
1.3.2 有向图17
1.3.3 树19
1.4 语言20
1.4.1 什么是语言20
1.4.2 形式语言与自动机理论的产生与作用21
1.4.3 基本概念23
1.5 小结28
习题29
第2章 文法35
2.1 启示36
2.2 形式定义38
2.3 文法的构造46
2.4 文法的乔姆斯基体系54
2.5 空语句64
2.6 小结66
习题66
第3章 有穷状态自动机70
3.1 语言的识别70
3.2 有穷状态自动机72
3.3 不确定的有穷状态自动机83
3.3.1 作为对DFA的修改83
3.3.2 NFA的形式定义84
3.3.3 NFA与DFA等价86
3.4 带空移动的有穷状态自动机90
3.5 FA是正则语言的识别器94
3.5.1 FA与右线性文法94
3.5.2 FA与左线性文法98
3.6 FA的一些变形99
3.6.1 双向有穷状态自动机100
3.6.2 带输出的FA101
3.7 小结102
习题103
第4章 正则表达式108
4.1 启示108
4.2 正则表达式的形式定义109
4.3 正则表达式与FA等价111
4.3.1 正则表达式到FA的等价变换111
4.3.2 正则语言可以用正则表达式表示119
4.4 正则语言等价模型的总结124
4.5 小结126
习题126
第5章 正则语言的性质129
5.1 正则语言的泵引理129
5.2 正则语言的封闭性134
5.3 Myhill-Nerode定理与DFA的极小化140
5.3.1 Myhill-Nerode定理140
5.3.2 DFA的极小化148
5.4 关于正则语言的判定算法156
5.5 小结157
习题158
第6章 上下文无关语言160
6.1 上下文无关文法160
6.1.1 上下文无关文法的派生树161
6.1.2 二义性166
6.1.3 自顶向下的分析和自底向上的分析169
6.2 上下文无关文法的化简171
6.2.1 去无用符号172
6.2.2 去ε-产生式175
6.2.3 去单一产生式组178
6.3 乔姆斯基范式181
6.4 格雷巴赫范式184
6.5 自嵌套文法189
6.6 小结190
习题190
第7章 下推自动机194
7.1 基本定义194
7.2 PDA与CFG等价200
7.2.1 PDA用空栈接受和用终止状态接受等价200
7.2.2 PDA与CFG等价203
7.3 小结212
习题212
第8章 上下文无关语言的性质215
8.1 上下文无关语言的泵引理215
8.2 上下文无关语言的封闭性221
8.3 上下文无关语言的判定算法226
8.3.1 L空否的判定226
8.3.2 L是否有穷的判定227
8.3.3 x是否为L的句子的判定228
8.4 小结230
习题230
第9章 图灵机231
9.1 基本概念232
9.1.1 基本图灵机232
9.1.2 图灵机作为非负整函数的计算模型239
9.1.3 图灵机的构造241
9.2 图灵机的变形247
9.2.1 双向无穷带图灵机247
9.2.2 多带图灵机250
9.2.3 不确定的图灵机252
9.2.4 多维图灵机253
9.2.5 其他图灵机255
9.3 通用图灵机257
9.4 几个相关的概念259
9.4.1 可计算性259
9.4.2 P与NP相关问题259
9.5 小结260
习题260
第10章 上下文有关语言263
10.1 图灵机与短语结构文法的等价性263
10.2 线性有界自动机及其与上下文有关文法的等价性266
10.3 小结267
习题267
附录A 教学设计269
A.1 课程内容体系269
A.1.1 基本描述269
A.1.2 教学定位269
A.1.3 知识点与学时分配270
A.2 课程的讲授271
A.2.1 重点与难点271
A.2.2 讲授中应注意的方法等问题275
A.3 作业276
A.3.1 指导思想276
A.3.2 关于大作业和实验276
A.4 考试与成绩记载276
A.4.1 成绩评定276
A.4.2 考题设计276
附录B 缩写符号278
词汇索引280
参考文献287