图灵机Turing Machine

图灵机Turing Machine
图灵机是1936年，Alan Turing提出的一种抽象计算模型。基本思想是用机器模拟人们用纸笔进行数学运算的过程，但比数值计算更为简单。
图灵机的基本概念：

• 在纸上写上或擦除某个符号
• 把注意力从纸的一个位置转向另一个位置
• 在每个阶段，要决定下一步动作依赖于：（a）此人当前所关注的纸上某个位置的符号（b）此人当前思维的状态
  图灵机由以下几部分构成：
  （1）一条无限长的分格纸袋，每格可以记录1个符号
  （2）一个读写头，可在纸带上左右移动，能读出和擦写格子的字符
  （3）一个状态寄存器，记录有限状态中的1个状态
  （4）一系列有限的控制规则（每条规则都由5个部分来组成）
  • 当前状态、当前读入的字符
  • 要改写成什么字符
  • 要如何移动读写头
  • 要改变为什么状态