图书介绍

形式语言与自动机2025|PDF|Epub|mobi|kindle电子书版本百度云盘下载

王柏，杨娟编著著
出版社：北京：北京邮电大学出版社
ISBN：7563506691
出版时间：2003
标注页数：288页
文件大小：7MB
文件页数：297页
主题词：形式语言－高等学校－教材；自动机理论－高等学校－教材

PDF下载

点此进入-本书在线PDF格式电子书下载【推荐-云解压-方便快捷】直接下载PDF格式图书。移动端-PC端通用
种子下载[BT下载速度快]温馨提示：（请使用BT下载软件FDM进行下载）软件下载地址页直链下载[便捷但速度慢] [在线试读本书] [在线获取解压码]

点击复制MD5值：9fe5a55363c2b01e853e645fcd02aa9c

下载说明

形式语言与自动机PDF格式电子书版下载

下载的文件为RAR压缩包。需要使用解压软件进行解压得到PDF格式图书。

点击复制85GB完整离线版磁力链接到迅雷FDM等BT下载工具进行下载详情点击-查看共享计划

建议使用BT下载工具Free Download Manager进行下载,简称FDM(免费,没有广告,支持多平台）。本站资源全部打包为BT种子。所以需要使用专业的BT下载软件进行下载。如BitComet qBittorrent uTorrent等BT下载工具。迅雷目前由于本站不是热门资源。不推荐使用！后期资源热门了。安装了迅雷也可以迅雷进行下载！

（文件页数要大于标注页数，上中下等多册电子书除外）

注意：本站所有压缩包均有解压码： 点击下载压缩包解压工具

图书目录

目录1

第1章基础知识1

1.1集合与关系1

1.2逻辑9

1.3 图12

1.4证明技术22

1.4.1演绎证明23

1.4.2反证法24

1.4.3归纳定义与归纳法25

习题27

第2章语言及文法33

2.1语言的定义与运算33

2.2文法36

2.3文法的分类39

习题47

第3章有限自动机和右线性文法49

3.1有限自动机49

3.1.1有限状态系统和有限自动机的概念49

3.1.2有限自动机的形式定义53

3.1.3设计有限自动机57

3.2不确定的有限自动机59

3.3 DFA与NFA的等效63

3.4有ε转换的不确定的有限自动机69

3.5正则集与正则式75

3.6右线性文法和正则集79

3.7正则表达式和有限自动机82

3.8右线性语言与有限自动机88

3.9右线性语言的性质94

3.9.1确定的有限自动机的化简94

3.9.2泵浦引理100

3.9.3右线性语言的封闭性103

3.9.4判定问题110

3.10双向和有输出的有限自动机112

3.10.1双向有限自动机112

3.10.2有输出的有限自动机113

习题118

第4章上下文无关文法与下推自动机123

4.1推导树与二义性123

4.2上下文无关文法的变换131

4.3 Chomsky范式和Greibach范式146

4.4下推自动机151

4.5上下文无关文法与下推自动机161

4.6上下文无关语言的性质171

4.6.1关于上下文无关语言的泵浦引理171

4.6.2上下文无关语言的封闭性174

4.6.3上下文无关语言的判定问题177

4.6.4二义性178

4.7受限型上下文无关文法180

习题181

5.1基本图灵机186

第5章图灵机186

5.2图灵机的构造技术195

5.2.1控制器的存储195

5.2.2多道机196

5.2.3核对符197

5.2.4移位200

5.2.5子程序201

5.3修改型图灵机204

5.3.1双向无限带图灵机205

5.3.2多带图灵机209

5.3.3不确定的图灵机211

5.3.4二维图灵机212

5.4图灵机与无限制文法214

5.5线性有界自动机与上下文有关文法218

习题218

第6章翻译221

6.1翻译式221

6.2转换器228

6.2.1有限转换器228

6.2.2下推转换器231

6.3词法分析240

6.4句法分析247

6.4.1 自上而下解析249

6.4.2自下而上解析253

习题257

第7章自动机理论在通信领域的应用260

7.1状态机基本模型及其局限性260

7.2 MSC和SDL简介264

7.3应用状态机模型描述协议272

附录计算复杂性与可计算性基础275

参考文献288