跳到主要内容

算法

阐述

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

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

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

在描述时:

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

实例

性质

相关内容

参考文献