第8章 图灵机.pdfVIP

艾兰·图灵，1912 年6 月23 日出生于英国伦敦 24 岁提出图灵机理论 31 岁参与COLOSSUS （破译德军密码的机器） 的研制 33 岁设想仿真系统 35 岁提出自动程序设计概念 一、图灵机原理 一台图灵机能够且仅仅能够完成某一个特定的算法。 图灵机是由一条在两个方向上都为无限长的磁带，一个控制器和一个读写磁头构成。在 这里，磁带被划分成一个个独立的存储单元，且控制器的状态是有限的，如下图所示。 图灵机执行一步工作的过程可以归纳为3 个步骤：第一，读写磁头在扫描的磁带存储单 元上写上符号，原有符号被覆盖而消失；第二，磁头向右或向左移动一个存储单元位置，由 当前状态转向另一状态，进入下一步工作。如此反复重复第二个过程，直至遇到命令图灵机 停止工作的状态。在上图中，图灵机正处于写状态，假设它将 A 改写为 E ，左移一个单元 位置。图灵机这种由状态和符号确定的工作过程叫做图灵机的程序，可以用5 元组来确定， 即q、b 、a、m 、q 。其中q 为有限状态控制器中的当前状态，q为下一状态，b 为当前存储 单元符号，a 为修改后的存储单元符号，m 为磁头移动方向。按照这种描述方法，上述图灵 机的一步动作描述可以表示为（q4、A 、E 、L 、q3 ）。 例1、设计一台可以计算“x+1” 的图灵机。 我们根据图灵机的原理，利用二进制来设计一个专门计算“x+1” 的图灵机，要求计算完成时 读写头要回归原位。于是我们设计的图灵机为： 状态集合K:{start, add ,carry, non-carry, overflow, return, halt} 字母表∑：{0,1,*} 初始状态s：start 停机状态H ：halt 规则集合δ：（见下表） 输 入 响 应 当前状态 当前符号 新符号 读写头移动 新状态 Start * * left Add 1 Add 0 1 left Non-carry Add 1 0 left carry Add * * right halt Carry 0 1 left non-carry Carry 1 0 left carry Carry * 1 left overflow Non-carry 0 0 left non-carry Non-carry 1 1 left non-carry Non-carry * * right right Overflow 0 或1 * right right Return 0