图书介绍
有限自动机理论PDF|Epub|txt|kindle电子书版本网盘下载
- 陈文宇编著 著
- 出版社： 成都：电子科技大学出版社
- ISBN：7811144158
- 出版时间：2007
- 标注页数：197页
- 文件大小：8MB
- 文件页数：205页
- 主题词：有限自动机－自动机理论－研究生－教材
PDF下载
下载说明
有限自动机理论PDF格式电子书版下载
下载的文件为RAR压缩包。需要使用解压软件进行解压得到PDF格式图书。建议使用BT下载工具Free Download Manager进行下载,简称FDM(免费,没有广告,支持多平台）。本站资源全部打包为BT种子。所以需要使用专业的BT下载软件进行下载。如BitComet qBittorrent uTorrent等BT下载工具。迅雷目前由于本站不是热门资源。不推荐使用！后期资源热门了。安装了迅雷也可以迅雷进行下载！
（文件页数 要大于 标注页数，上中下等多册电子书除外）
注意：本站所有压缩包均有解压码： 点击下载压缩包解压工具
图书目录
第一章 基础知识1
集合及其运算3
关系4
二元关系4
等价关系5
关系的合成5
证明和证明的方法6
反证法6
归纳法7
递归的定义与归纳证明8
图与树8
语言9
常用术语10
形式语言与自动机的发展12
习题一13
第二章 形式语言15
例子语言15
文法和语言的关系18
Chomsky对文法的分类21
文法产生语言24
推导树31
空串定理33
消除左递归34
消除直接左递归34
消除间接左递归35
上下文无关文法的另一种表示37
语言之间的运算及运算的封闭性38
语言之间的基本运算38
语言之间的运算的封闭性39
语言之间的其他运算40
正则表达式和正则集41
习题二44
第三章 有限状态自动机46
有限状态自动机46
有限状态自动机识别的语言48
有限状态自动机识别语言的例子50
不确定的有限状态自动机63
不确定的有限状态自动机63
不确定的有限状态自动机的确定化64
带有ε动作的有限状态自动机72
有限状态自动机的一些变形77
双向的有限状态自动机77
带有输出的有限状态自动机79
有限状态接收机的存储技术83
习题三85
第四章 正则语言87
正则语言与有限状态自动机87
正则表达式对应有限状态自动机87
正则语言的等价模型100
正则语言的泵浦引理101
正则语言对运算的封闭性107
正则语言类中的判定算法113
习题四114
第五章 下推自动机116
下推自动机116
确定的下推自动机117
不确定的下推自动机119
下推自动机接收语言的两种方式121
广义的下推自动机和单态下推自动机123
下推自动机的存储技术125
下推自动机扫描多个符号127
上下文无关文法和范式128
Chomsky范式129
Greibach范式130
下推自动机与上下文无关语言132
习题五143
第六章 图灵机144
图灵机的基本模型144
图灵机的定义144
图灵机的构造147
图灵机作为非负整数函数计算模型152
图灵机的构造技术155
图灵机的存储技术155
图灵机的移动技术161
图灵机扫描多个符号技术162
图灵机的多道技术173
图灵机的查讫技术176
图灵机的子程序技术177
图灵机变形179
双向无穷带图灵机180
多带多读／写头图灵机183
不确定图灵机186
多维图灵机188
其他图灵机188
通用图灵机191
编码的目的191
编码方法192
总结195
图灵机与短语结构语言195
线性有界的图灵机与相关语言195
习题六195
参考文献197