图灵机的基本模型

可以借助以下表示对图灵机进行建模。

1.输入磁带上有无限多个单元，每个单元包含一个输入符号，因此可以将输入字符串放在磁带上。空磁带由空白字符填充。

2.有限控制和负责读取当前输入符号的磁带头。磁带头可以从左到右移动。

3.机器必须经历的一组有限状态。

4.有限的一组符号，称为外部符号，用于构建图灵机的逻辑。