图灵计算机模型

1.有一条无限长的纸带TAMP，划分为等大相邻的无数小方格，每个格子上可以容纳一个字符，字符来自一个有限集合，有一个符号表示空白。纸带从左侧开始编号为0.1.2.3.4...向右无限延伸。

2.读写头HEAD从纸带读出当前所在格子的内容，修改当前格子内容，在纸带上左右移动。

3.有一套控制规则TABLE。可根据当前机器的状态和当前读写头所指的位置的符号确定读写头下一步动作，改变寄存器的值，使机器进入新状态。

4.一个状态寄存器。保存当前图灵机所处状态。状态是有限的，一个特殊状态叫做停机。