图书介绍
计算理论基础PDF|Epub|txt|kindle电子书版本网盘下载
- （美）（H.R.刘易斯）Harry R.Lewis，（美）（C.H.帕帕季米特里乌）Christos H.Papadimitriou著；张立昂，刘田译 著
- 出版社： 北京：清华大学出版社
- ISBN：7302039488
- 出版时间：2000
- 标注页数：244页
- 文件大小：56MB
- 文件页数：256页
- 主题词：算法
PDF下载
下载说明
计算理论基础PDF格式电子书版下载
下载的文件为RAR压缩包。需要使用解压软件进行解压得到PDF格式图书。建议使用BT下载工具Free Download Manager进行下载,简称FDM(免费,没有广告,支持多平台）。本站资源全部打包为BT种子。所以需要使用专业的BT下载软件进行下载。如BitComet qBittorrent uTorrent等BT下载工具。迅雷目前由于本站不是热门资源。不推荐使用！后期资源热门了。安装了迅雷也可以迅雷进行下载！
（文件页数 要大于 标注页数，上中下等多册电子书除外）
注意：本站所有压缩包均有解压码： 点击下载压缩包解压工具
图书目录
第1章 集合、关系和语言1
1.1 集合1
1.2 关系与函数4
1.3 特殊类型的二元关系7
1.4 有穷集合与无穷集合11
1.5 三个基本的证明技术13
1.6 闭包与算法17
1.7 字母表与语言25
1.8 语言的有穷表示29
参考文献33
第2章 有穷自动机34
2.1 确定型有穷自动机34
2.2 非确定型有穷自动机39
2.3 有穷自动机与正则表达式47
2.4 正则语言与非正则语言54
2.5 状态最小化58
2.6 关于有穷自动机的算法65
参考文献70
第3章 上下文无关语言72
3.1 上下文无关文法72
3.2 语法分析树79
3.3 下推自动机83
3.4 下推自动机与上下文无关文法87
3.5 上下文无关语言与非上下文无关语言92
3.6 关于上下文无关文法的算法97
3.7 确定性与语法分析102
参考文献115
第4章 Turing机117
4.1 Turing机的定义117
4.2 用Turing机计算125
4.3 Turing机的扩充130
4.4 随机存取Turing机136
4.5 非确定型Turing机144
4.6 文法148
4.7 数值函数151
参考文献158
第5章 不可判定性160
5.1 Church-Turing论题160
5.2 通用Turing机161
5.3 停机问题163
5.4 与Turing机有关的不可判定问题166
5.5 与文法有关的不可解问题168
5.6 不可解的铺砖问题172
5.7 递归语言的性质174
参考文献178
第6章 计算复杂性179
6.1 P类179
6.2 若干问题181
6.3 布尔可满足性187
6.4 NP类190
参考文献194
第7章 NP完全性196
7.1 多项式时间归约196
7.2 Cook定理202
7.3 其他的NP完全问题207
7.4 对付NP完全性218
参考文献229
中英对照名词索引231