\rm q
状态 , 读取头指向的字符是
\rm Z
,
执行该转换函数
\rm \delta
, 会将 状态转变为
\rm p
状态 , 将 读取头指向的带子上的字符
\rm Z
擦除...D
方向 , 移动一格单位 ;
其中
\rm D
方向可以是
\rm L
向左移动 , 也可以是
\rm R
向右移动 ;
格局 Configuration , 格局是给图灵机照一个 快照..., 下图就是图灵机在计算过程中 , 某一个时刻的快照 ;
将图灵机计算过程 , 每个步骤都照一份快照 , 通过轨迹将这些快照联系到一起 , 就可以得到一个数据结构 ,
上述格局可以记作
\rm 00q1B..., 该写法表示 与 某个格局 ( 快照 ) 一一对应 ;
在 图灵机中 , 读头指向
1
, 就将状态写在
1
的左边 ;
二、图灵机设计
----
图灵机的设计很复杂 , 一般情况下 ,