算法论 上PDF电子书下载

目录 1

（上册） 1

第一章 字母表，字母，字 1

§1．字母 1

§2．字母表 2

§3．字 7

§4．出现 23

§5．组与链 34

§6．转换 41

第二章 算法概念 52

§1．在字母表中的算法 52

§2．算法的例子 55

§3．正规算法 58

§4．正规算法的例子 66

§5．正规化原则 103

第三章 正规算法的构成 107

§1．算法的扩张 107

§2．算法的关闭 116

§3．算法的结合 117

§4．算法的併 140

§5．算法分支 145

§6．算法重复 153

§7．算法转换 169

§8．关于矩阵的几个算法 175

§1．正规算法描述 189

第四章 通用算法 189

§2．关于通用算法的定理 191

§3．正规算法记录 216

§4．通用算法定理的变形 218

第五章 算法不可能性基本定理 220

§1．自返适用算法与非自返适用算法 222

§2．适用性的判定问题 226

§3．消除的判定问题 229

§4．完全性判定问题 231

参考文献 234

§1．结合演算 237

第六章 几个大量问题的不可判定性 237

（下册） 237

目录 237

§2．等价性不可解问题的结合演算构造 244

§3．对空字等价的问题 264

§4．波斯特演算 278

§5．演算？0 295

§6．结合演算？1 302

§7．结合演算？2 355

§8．波斯特正规演算？3及？4 360

§9．波斯特组合问题 362

§10．矩阵表达问题 379

§11．结合演算性质的判定问题 397

结束语 448

参考文献 451