《算法论 上》

目录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．演算？0295

§6．结合演算？1302

§7．结合演算？2355

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

§9．波斯特组合问题362

§10．矩阵表达问题379

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

结束语448

参考文献451