图书介绍
形式语言与自动机理论教学参考书2025|PDF|Epub|mobi|kindle电子书版本百度云盘下载
- 蒋宗礼编著 著
- 出版社： 北京：清华大学出版社
- ISBN：7302068615
- 出版时间：2003
- 标注页数：243页
- 文件大小：9MB
- 文件页数：258页
- 主题词：形式语言－高等学校－教学参考资料；自动机理论－高等学校－教学参考资料
PDF下载
下载说明
形式语言与自动机理论教学参考书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 集合之间的关系3
1.1.3 集合的运算4
1.2 关系6
1.2.1 二元关系6
1.2.2 递归定义与归纳证明7
1.2.3 关系的闭包7
1.3 图8
1.3.1 无向图8
1.3.2 有向图9
1.3.3 树10
1.4 语言11
1.4.1 什么是语言11
1.4.2 形式语言与自动机理论的产生与作用12
1.4.3 基本概念14
1.5 小结17
1.6 典型习题解析17
第2章 文法24
2.1 启示25
2.2 形式定义27
2.3 文法的构造31
2.4 文法的乔姆斯基体系35
2.5 空语句39
2.6 小结40
2.7 典型习题解析40
第3章 有穷状态自动机53
3.1 语言的识别54
3.2 有穷状态自动机54
3.3 不确定的有穷状态自动机60
3.3.1 作为对DFA的修改60
3.3.2 不确定的有穷状态自动机的形式定义60
3.3.3 NFA与DFA等价62
3.4 带空移动的有穷状态自动机65
3.5 FA是正则语言的识别器67
3.5.1 FA与右线性文法67
3.5.2 FA与左线性文法69
3.6 FA的一些变形71
3.6.1 双向有穷状态自动机71
3.6.2 带输出的FA72
3.7 小结74
3.8 典型习题解析75
第4章 正则表达式83
4.1 启示84
4.2 正则表达式的形式定义84
4.3 正则表达式与FA等价86
4.3.1 正则表达式到FA的等价变换86
4.3.2 正则语言可以用正则表达式表示89
4.4 正则语言等价模型的总结91
4.5 小结93
4.6 典型习题解析94
第5章 正则语言的性质98
5.1 正则语言的泵引理99
5.2 正则语言的封闭性100
5.3 Myhill-Nerode定理与DFA的极小化105
5.3.1 Myhill-Nerode定理105
5.3.2 DFA的极小化110
5.4 关于正则语言的判定算法112
5.5 小结113
5.6 典型习题解析114
第6章 上下文无关语言121
6.1 上下文无关语言122
6.1.1 上下文无关文法的派生树123
6.1.2 二义性126
6.1.3 自顶向下的分析和自底向上的分析129
6.2 上下文无关文法的化简129
6.2.1 去无用符号130
6.2.2 去ε-产生式133
6.2.3 去单一产生式137
6.3 乔姆斯基范式138
6.4 格雷巴赫范式140
6.5 自嵌套文法144
6.6 小结145
6.7 典型习题解析146
第7章 下推自动机150
7.1 基本定义151
7.2 PDA与CFG等价153
7.2.1 PDA用空栈接受和用终止状态接受等价153
7.2.2 PDA与CFG等价155
7.3 小结157
7.4 典型习题解析158
第8章 上下文无关语言的性质165
8.1 上下文无关语言的泵引理166
8.2 上下文无关语言的封闭性169
8.3 CFL的判定算法173
8.3.1 L空否的判定173
8.3.2 L是否有穷的判定174
8.3.3 x是否为L的句子的判定175
8.4 小结177
8.5 典型习题解析177
第9章 图灵机180
9.1 基本概念181
9.1.1 基本图灵机182
9.1.2 图灵机作为非负整函数的计算模型186
9.1.3 图灵机的构造187
9.2 图灵机的变形190
9.2.1 双向无穷带图灵机191
9.2.2 多带图灵机194
9.2.3 不确定的图灵机196
9.2.4 多维图灵机197
9.2.5 其他图灵机198
9.3 通用图灵机201
9.4 几个相关的概念202
9.4.1 可计算性202
9.4.2 P与NP相关问题203
9.5 小结204
9.6 典型习题解析204
第10章 上下文有关语言218
10.1 图灵机与短语结构文法的等价性218
10.2 线性有界自动机及其与上下文有关文法的等价性221
10.3 小结223
10.4 典型习题解析223
第11章 内容归纳227
11.1 文法与语言227
11.2 正则语言227
11.3 上下文无关语言228
11.4 图灵机229
11.5 上下文有关语言230
第12章 教学设计231
12.1 概述231
12.2 课程内容体系232
12.2.1 课程的基本描述232
12.2.2 教学定位233
12.2.3 知识点与学时分配233
12.3 讲授提示236
12.3.1 重点与难点236
12.3.2 讲授中应注意的方法等问题240
12.4 习题与实验241
12.4.1 指导思想241
12.4.2 关于大作业和实验241
12.5 考试与成绩记载241
12.5.1 成绩评定241
12.5.2 考题设计242
参考文献243