图灵机Turing Machine
图灵机是1936年,Alan Turing提出的一种抽象计算模型。基本思想是用机器模拟人们用纸笔进行数学运算的过程,但比数值计算更为简单。
图灵机的基本概念:
- 在纸上写上或擦除某个符号
- 把注意力从纸的一个位置转向另一个位置
- 在每个阶段,要决定下一步动作依赖于:(a)此人当前所关注的纸上某个位置的符号(b)此人当前思维的状态
图灵机由以下几部分构成:
(1)一条无限长的分格纸袋,每格可以记录1个符号
(2)一个读写头,可在纸带上左右移动,能读出和擦写格子的字符
(3)一个状态寄存器,记录有限状态中的1个状态
(4)一系列有限的控制规则(每条规则都由5个部分来组成)- 当前状态、当前读入的字符
- 要改写成什么字符
- 要如何移动读写头
- 要改变为什么状态