先决条件——图灵机
1.多轨图灵机：
- k-tack 图灵机(对于某些 k>0)具有 k-tracks 和一个 R/W 磁头，可以一一读取和写入所有这些磁道。
- 单轨图灵机可以模拟k轨图灵机
2、双向无限胶带图灵机：
- 双向无限带图灵机的无限带图灵机在左右两个方向都是无界的。
- 双向无限带图灵机可以用单向无限图灵机(标准图灵机)模拟。
3.多带图灵机：
- 它有多个磁带并由一个磁头控制。
- Multi-tape 图灵机与 k-track 图灵机不同，但表达能力相同。
- 多带图灵机可以用单带图灵机模拟。
4、多带多头图灵机：
- 多带图灵机有多个带和多个磁头
- 每个磁带由单独的磁头控制
- Multi-Tape 多头图灵机可以用标准图灵机模拟。
5、多维胶带图灵机：
- 它有多维磁带，头部可以向左、向右、向上或向下任意方向移动。
- 一维图灵机可以模拟多维胶带图灵机
6、多头图灵机：
- 多头图灵机包含两个或更多头来读取同一条带上的符号。
- 在一个步骤中，所有的磁头都能感应到扫描的符号并独立移动或书写。
- 单头图灵机可以模拟多头图灵机。
7. 非确定性图灵机：
- 非确定性图灵机有一个单向无限带。
- 对于给定的状态和输入符号至少有一个移动选择(下一步移动的选择数量有限)，对于给定的输入字符串，每个选择可能遵循几个路径选择。
- 非确定性图灵机等价于确定性图灵机。