- 作 者：莫绍揆编著
- 出 版 社：北京：科学出版社
- 出版年份：1982
- ISBN：15031·447
- 标注页数：312 页
- PDF页数：320 页
请阅读订购服务说明与试读!
订购服务说明
1、本站所有的书默认都是PDF格式，该格式图书只能阅读和打印，不能再次编辑。
2、除分上下册或者多册的情况下，一般PDF页数一定要大于标注页数才建议下单购买。【本资源320 ≥312页】
图书下载及付费说明
1、所有的电子图书为PDF格式，支持电脑、手机、平板等各类电子设备阅读；可以任意拷贝文件到不同的阅读设备里进行阅读。
2、电子图书在提交订单后一般半小时内处理完成,最晚48小时内处理完成。(非工作日购买会延迟)
3、所有的电子图书都是原书直接扫描方式制作而成。
第一章 基本概念 1
1 字母、字母表与字 1
2 首尾与出现 11
3 替换与代入 21
4 独立系及转换 26
5 映照 32
第二章 演算与算法 38
1 演算 38
2 算法 44
3 等价与嵌入 54
4 规则与字母表的化归 72
5 文法与语言 82
6 机器算法 86
7 关于机器的一些讨论 94
8 演算与算法的应用 105
第三章 算法的合成与嵌入 116
1 换中算法的例子 117
2 首尾算法的例子 122
3 机器算法的例子 131
4 算法的典型化 136
5 算法的合成(上) 142
6 算法的合成(下) 152
7 各种算法集的互相等价互相嵌入 158
8 关于算法的各种约定 167
9 通用算法 178
第四章 演算的合成与嵌入 199
1 一些特殊的演算 199
2 演算的嵌入 205
3 组合演算化归为换中演算 215
4 演算与算法的互相嵌入 225
5 通用演算 230
6 演算间的各种对应关系 239
7 与演算有关的集合 246
8 演算的合成 250
第五章 判定问题以及与递归函数的关系 261
1 可判性与半可判性 261
2 可判定性的初步性质 269
3 在孤一字母表中的可判定性 276
4 一般字母表中有关算法的判定 284
5 一般字母表中有关演算的判定(上) 288
6 一般字母表中有关演算的判定(下) 291
7 演算与算法化归于递归函数 293
8 递归函数用算法来计算 301
9 丘吉杜灵论题 307