图书介绍
有限自动机理论 第2版PDF|Epub|txt|kindle电子书版本网盘下载
- 陈文宇，田玲，程伟等编著 著
- 出版社： 北京：电子工业出版社
- ISBN：9787121209635
- 出版时间：2013
- 标注页数：238页
- 文件大小：40MB
- 文件页数：245页
- 主题词：有限自动机－自动机理论－高等学校－教材
PDF下载
下载说明
有限自动机理论 第2版PDF格式电子书版下载
下载的文件为RAR压缩包。需要使用解压软件进行解压得到PDF格式图书。建议使用BT下载工具Free Download Manager进行下载,简称FDM(免费,没有广告,支持多平台）。本站资源全部打包为BT种子。所以需要使用专业的BT下载软件进行下载。如BitComet qBittorrent uTorrent等BT下载工具。迅雷目前由于本站不是热门资源。不推荐使用！后期资源热门了。安装了迅雷也可以迅雷进行下载！
（文件页数 要大于 标注页数，上中下等多册电子书除外）
注意：本站所有压缩包均有解压码： 点击下载压缩包解压工具
图书目录
第1章 基础知识1
1.1 集合及其运算2
1.2 关系4
1.2.1 二元关系4
1.2.2 等价关系5
1.2.3 关系的合成5
1.3 证明和证明的方法7
1.3.1 反证法7
1.3.2 归纳法8
1.3.3 递归的定义与归纳证明8
1.4 图与树9
1.5 语言10
1.6 常用术语10
1.7 形式语言与自动机的发展12
习题114
第2章 形式语言简介15
2.1 例子语言15
2.2 文法和语言的关系20
2.2.1 文法20
2.2.2 语言22
2.2.3 文法和语言的3类问题23
2.3 Chomsky对文法和语言的分类24
2.4 文法产生语言29
2.5 无用非终结符37
2.6 推导树38
2.7 空串定理40
2.8 消除左递归41
2.8.1 消除直接左递归41
2.8.2 消除间接左递归42
2.9 上下文无关文法的另一种表示44
2.10 语言之间的运算及运算的封闭性45
2.10.1 语言之间的基本运算45
2.10.2 语言之间的运算的封闭性46
2.10.3 语言之间的其他运算51
2.11 正则表达式和正则集53
习题256
第3章 有限状态自动机58
3.1 有限状态自动机58
3.2 确定的有限状态自动机接收的语言60
3.3 确定的有限状态自动机接收语言的例子65
3.4 不确定的有限状态自动机77
3.4.1 不确定的有限状态自动机的概念77
3.4.2 不确定的有限状态自动机的确定化79
3.5 带有ε动作的有限状态自动机84
3.6 有限状态自动机的一些变形91
3.6.1 双向的有限状态自动机91
3.6.2 带有输出的有限状态自动机92
3.7 有限状态接收机的存储技术95
3.8 有限状态自动机应用实例97
习题3103
第4章 正则语言105
4.1 正则语言与有限状态自动机105
4.1.1 正则表达式对应有限状态自动机105
4.1.2 正则语言的等价模型115
4.2 正则语言的泵浦引理117
4.3 正则语言类中的判定算法124
习题4125
第5章 下推自动机127
5.1 下推自动机127
5.1.1 确定的下推自动机128
5.1.2 不确定的下推自动机131
5.1.3 下推自动机接收语言的两种方式133
5.1.4 广义下推自动机和单态下推自动机137
5.2 上下文无关文法和范式139
5.2.1 Chomsky范式140
5.2.2 Greibach范式141
5.3 下推自动机与上下文无关语言143
5.4 下推自动机应用实例155
习题5157
第6章 图灵机159
6.1 图灵机的基本模型159
6.1.1 图灵机的定义159
6.1.2 图灵机的构造162
6.2 图灵机作为非负整数函数计算模型167
6.3 图灵机的构造技术170
6.3.1 图灵机的存储技术171
6.3.2 图灵机的移动技术174
6.3.3 图灵机扫描多个符号技术176
6.3.4 图灵机的多道技术187
6.3.5 图灵机的查讫技术191
6.3.6 图灵机的子程序技术192
6.4 图灵机变形195
6.4.1 双向无穷带图灵机195
6.4.2 多带多读／写头图灵机198
6.4.3 不确定图灵机200
6.4.4 多维图灵机202
6.4.5 其他图灵机202
6.5 通用图灵机205
6.5.1 编码的目的205
6.5.2 编码方法206
6.5.3 总结208
6.6 图灵机与短语结构语言209
6.7 线性有界的图灵机与上下文相关语言209
6.8 图灵机应用实例209
习题6214
第7章 量子自动机216
7.1 量子有限自动机219
7.1.1 Moore＆Crutchfield量子有限自动机的定义219
7.1.2 Moore & Crutchfield量子有限自动机所识别的语言220
7.1.3 Moore & Crutchfield量子正规语言的性质221
7.1.4 Kondacs & Watrous量子有限自动机的定义221
7.1.5 Kondacs & Watrous量子有限自动机的例子223
7.1.6 量子有限自动机模型的研究进展概述224
7.2 量子下推自动机226
7.2.1 Moore & Crutchfield量子下推自动机的定义226
7.2.2 Moore & Crutchfield量子文法的定义226
7.2.3 Moore & Crutchfield量子下推自动机所识别的语言227
7.2.4 Moore & Crutchfield量子下推自动机所识别的语言的代数性质227
7.2.5 其他类型的量子下推自动机228
7.2.6 量子下推自动机模型的研究进展概述231
7.3 量子图灵机232
7.3.1 量子图灵机的提出232
7.3.2 Church-Turing-Deutsch原理232
7.3.3 B ernstein＆Vazirani量子图灵机233
7.3.4 量子图灵机模型与量子电路模型的等价：Yao定理234
7.3.5 Gudder量子图灵机234
7.3.6 量子图灵机模型的研究进展概述236
参考文献238