图灵机模型与计算机(一)
一、图灵机的构成
1、一条无限长的纸带(tape)。纸带被划分为一个接一个的小格子,每个格子上包含一个来自有限字幕的符号,字母表中有一个特殊的符号,就是一个空格,它表示空白。纸带上的格子从左到右依次被编号为0,1,2...,右端无限延伸。
2、一个读写头(head)可以在纸带上左右移动,它能读出当前所指的格子上的符号,并能改变当前格子上的符号。
3、一套控制规则(table),它根据当前机器所处的状态以及当前读写头所指的格子上的符号来确定读写头下一步的动作,并改变状态寄存器的值,令机器进入一个新的状态。
4、一个状态寄存器,用来保存图灵机当前所处的状态。图灵机的所有可能的状态的数目是有限的,并且有一个特殊的状态,成为“停机状态”。
二、图灵机的正定式定义
一台图灵机是一个七元组,其中都是有限集合,且满足
- 是状态集合;
- 是输入字母表,其中不包含特殊的空白符;
- 为空白符;
- 是带字母表,其中