TuringMachine

• 对于一维图灵机（Turing machine），TuringMachine 简化的每一步由 {{s, x, dx}, {a₁, a₂, ...}} 的形式给出，头以状态 s，带中的单元具有值 a_i，头的坐标 x 是以相对 a_i，并相对于它的初始位置位移为 dx。

• 如果 dx 省略图灵机（Turing machine）的初始条件，它的值是 0。

• 对一个 d 维图灵机（Turing machine），带指定为一个 d 维的数组，并且坐标 x 和相对位置dx 是长度d 的列表。

• 一个图灵机（Turing machine)的规则设定可以通过形式 {s_i, a_i}->{sp_i, ap_i, off_i} 的列表给出，可以带有下列元素:

• 状态和单元值是整数模式，或其他表达式，单个单元值不能是列表。

• 在一维情况下，每个位移 off_i 是一个单一整数；在多维情况下，它是一个整数列表。

• 当状态和单元值分别设置为1 到 及0到 范围内的整数，下列可以在 rule 中设定:

• 图灵机（Turing machine ）的数量的规则可以指定下面:

• 如果机器关于它本身的配置，没有设置任何规则，则它的配置不会发生改变。

• 初始条件 init 的典型形式可以如下:

• TuringMachine[rule, init, t] 生成一个长度为 的变化序列。