图书介绍
形式语言与自动机PDF|Epub|txt|kindle电子书版本下载
- 陈文宇，欧齐，程炼编著 著
- 出版社： 北京：人民邮电出版社
- ISBN：7115135185
- 出版时间：2005
- 标注页数：255页
- 文件大小：9MB
- 文件页数：264页
- 主题词：形式语言；自动机理论
PDF下载
下载说明
形式语言与自动机PDF格式电子书版下载
下载的文件为RAR压缩包。需要使用解压软件进行解压得到PDF格式图书。建议使用BT下载工具Free Download Manager进行下载,简称FDM(免费,没有广告,支持多平台）。本站资源全部打包为BT种子。所以需要使用专业的BT下载软件进行下载。如BitComet qBittorrent uTorrent等BT下载工具。迅雷目前由于本站不是热门资源。不推荐使用！后期资源热门了。安装了迅雷也可以迅雷进行下载！
（文件页数 要大于 标注页数，上中下等多册电子书除外）
注意：本站所有压缩包均有解压码： 点击下载压缩包解压工具
图书目录
目录1
第1章 预备知识1
1.1 集合及其运算1
1.2 关系3
1.2.1 二元关系3
1.2.2 等价关系3
1.2.3 关系的合成4
1.3 证明和证明的方法5
1.3.1 反证法5
1.3.2 归纳法6
1.3.3 递归的定义与归纳证明6
1.4 图与树7
1.5 语言8
1.6 常用术语8
1.7 形式语言与自动机的发展11
习题13
第2章 文法及语言15
2.1 例子语言15
2.2 文法和语言的关系19
2.3 Chomsky对文法的分类21
2.4 文法产生语言24
习题33
第3章 上下文无关文法与上下文无关语言35
3.1 消除无关文法中的无用非终结符号36
3.2 推广的化简上下文无关文法40
3.3 推导树41
3.4 空串定理43
3.5 无关语言的泵浦（Pumping）定理44
3.6 短语48
3.7 形式语言与高级计算机程序设计语言49
3.8 形式语言与自然语言52
3.9 基本的语法分析方法53
3.10 消除左递归54
3.10.1 消除直接左递归54
3.10.2 消除间接左递归55
3.11 上下文无关文法的另一种表示56
习题57
第4章 Chomsky文法体系及语言之间的运算61
4.1 Chomsky的文法体系61
4.1.1 文法的分类及文法之间的关系61
4.1.2 语言之间的关系63
4.2 Chomsky的文法体系的另一种描述64
4.3 语言之间的运算及运算的封闭性66
4.3.1 语言之间的基本运算67
4.3.2 语言之间的运算的封闭性67
4.3.3 语言之间的其他运算69
4.4 正则表达式和正则集70
习题72
第5章 语法分析方法73
5.1 自上而下分析法中的无回溯的递归下降分析法73
5.1.1 回溯的产生73
5.1.2 消除回溯74
5.1.3 递归下降分析器的构造75
5.2 自上而下分析法中的预测分析法75
5.2.1 FIRST和FOLLOW集合75
5.2.2 预测分析法对文法的要求77
5.3 自下而上分析法中的算符优先分析法77
5.3.1 算符优先文法78
5.3.2 算符优先关系表78
5.3.3 算符优先关系表的构造79
5.3.4 算符优先分析法82
5.4.1 规范归约84
5.4 自下而上分析法中的LR分析法84
5.4.2 LR分析法85
第6章 有限状态自动机和有限状态语言92
6.1 有限状态自动机92
6.2 有限状态自动机识别的语言94
6.3 有限状态自动机识别语言的例子96
6.4 不确定的有限状态自动机108
6.4.1 不确定的有限状态自动机108
6.4.2 不确定的有限状态自动机转换为确定的有限状态自动机109
6.5 带有ε动作的有限状态自动机115
6.6 有限状态自动机的一些变形119
6.6.1 双向的有限状态自动机119
6.6.2 带有输出的有限状态自动机120
6.7 有限状态接收机的存储技术124
习题126
7.1.1 正则表达式与有限状态自动机129
第7章 正则语言129
7.1 正则语言与有限状态自动机129
7.1.2 正则语言的等价模型140
7.2 正则语言的泵浦引理142
7.3 正则语言对运算的封闭性148
7.4 正则语言类中的判定算法153
7.5 Myhill—nerode定理与有限状态自动机的极小化154
7.5.1 Myhill—nerode定理154
7.5.2 FSAM的极小化165
习题172
第8章 下推自动机和上下文无关语言175
8.1 下推自动机175
8.1.1 确定的下推自动机176
8.1.2 不确定的下推自动机178
8.1.3 下推自动机接收语言的两种方式180
8.1.4 广义的下推自动机和单态下推自动机182
8.1.5 下推自动机的存储技术184
8.1.6 下推自动机扫描多个符号186
8.2 上下文无关文法和范式187
8.2.1 Chomsky范式188
8.2.2 Greibach范式189
8.3 下推自动机与上下文无关语言190
习题201
第9章 图灵机与语言204
9.1 图灵机的基本模型204
9.1.1 图灵机的定义204
9.1.2 图灵机的构造206
9.2 图灵机作为非负整数函数计算模型211
9.3 图灵机的构造技术214
9.3.1 图灵机的存储技术214
9.3.2 图灵机的移动技术230
9.3.3 图灵机的多道技术231
9.3.4 图灵机的查讫技术233
9.3.5 图灵机的子程序技术234
9.4 图灵机变型237
9.4.1 双向无穷带图灵机238
9.4.2 多带多读／写头图灵机240
9.4.3 不确定的图灵机243
9.4.4 多维图灵机245
9.4.5 其他图灵机245
9.5 通用图灵机248
9.5.1 编码的目的248
9.5.2 编码方法249
9.5.3 总结251
9.6 图灵机与短语结构语言252
9.7 线性有界的图灵机与相关语言252
习题252
参考文献255