算法

阐述

寻找一个问题的算法等价于构建一个判定者 Turing 机。

可以从三种不同的层面描述算法：

1. 给出 Turing 机的具体定义
2. 用自然语言描述 Turing 机的行为
3. 用自然语言直接描述算法本身

在描述时：

1. 我们始终将计算机的输入描述为字符串，并且用 $\langle O\rangle$ 表示对某种对象的编码
2. 将算法描述为几个不同的阶段，并且用缩进来分块

实例

性质

相关内容

参考文献