个有限状态控制器FSC) 一个外部的存储设备 可以向右扩展的无限长度带 带上具有左端点,使用“上”表示 图灵机直接扫描输入带上左端点右边 的第一个符号
一个有限状态控制器(FSC) 一个外部的存储设备 可以向右扩展的无限长度带 带上具有左端点,使用“┣”表示 l 图灵机直接扫描输入带上左端点右边 的第一个符号
带分解为单元,每个单元可以为 空或存放字母表上的字母符号 带的空白单元标记为B 有限状态控制器通过一个读/写头 可以读/写带上单元内容
带分解为单元,每个单元可以为 空或存放字母表上的字母符号 带的空白单元标记为B 有限状态控制器通过一个读/写头 可以读/写带上单元内容
在某个时刻,有限状态控制器处 于某个状态,读/写头将扫描带上的 个单元 依照状态和扫描到的带上符号, 图灵机将有一个动作如下:
在某个时刻,有限状态控制器处 于某个状态,读/写头将扫描带上的 一个单元 依照状态和扫描到的带上符号, 图灵机将有一个动作如下:
有限状态控制器的状态进行改变; 把刚刚扫描过的单元上符号擦除掉 并印刷上一个新的符号(有可能印刷上 与原来符号相同的符号); 读/写头向左或者向右移动一个单元; 或者读/写头不移动
有限状态控制器的状态进行改变; 把刚刚扫描过的单元上符号擦除掉, 并印刷上一个新的符号(有可能印刷上 与原来符号相同的符号); 读/写头向左或者向右移动一个单元; 或者读/写头不移动
五元式描述动作 <q, x,q',W,L,R,N> 其中:x,W∈∑'(∑的增广集合) 图灵机处于状态q,扫描到符号x, 则 状态变换为q',印刷上新的符号W, 读/写头向左、或向右或不移动
五元式描述动作 <q,x,q′ ,W,{L,R,N}> 其中:x,W∈∑ ′( ∑的增广集合) 图灵机处于状态q,扫描到符号x, 则 状态变换为q′ ,印刷上新的符号W, 读/写头向左、或向右 或不移动