《数理逻辑》第七章-2.pdf

马琦 2010.11.27 maqi08@ 图灵机是以数学方式精确定义的反映计算过程的抽象系统。 【目的】把计算化为最本质的要素，以便能用简单的方式，描述某些基本的明显能行 的动作，而任意能行的过程都可归约为这些动作。 纸带 图灵机 【技术细节】一架图灵机可以想象为一个暗箱，而分成相等方格的一条纸带通过暗箱， 在纸带的方格上可以印上符号或没有符号。对于一个具体的计算，机器从纸带上的有 穷个输入信息开始，按照某些规则处理纸带，最终达到停机，或永不停机。如果实现 了停机，则输出信息保留在纸带上，若没有停机，则计算没有终止。 纸带 纸带符号字母表 可能因机器不同而不同的有穷的符号表。 纸带的每一方格一次最多打印这些符号中的一个。 通常包括字母B ，表示空格。 最简单的图灵机只有两个带符号，例如B 和1 。 图灵机 在任何时刻，“机器”阅读纸带上的一个方格，可以用另外的符号代替出现 在这个方格上的符号 （如果有的话），如果阅读的方格是空白的，则可印上 一个符号，或保持原来的空白。之后，机器转去读右面或左面的一个方格。 因此，有操作类型操作类型 （机器操作的一步） 操作类型操作类型 打印一个符号打印一个符号 （打印符号包括先擦去原先符号（打印符号包括先擦去原先符号）。）。 打印一个符号打印一个符号 （（打印符号包括先擦去原先符号打印符号包括先擦去原先符号）。）。 向左移一个方格向左移一个方格。。 向左移一个方格向左移一个方格。。 向右移一个方格向右移一个方格。。 向右移一个方格向右移一个方格。。 以上三种操作中的一个操作就叫做机器操作的一步。 纸带 图灵机 所读方 格中的 符号 按实际计算机的术语按实际计算机的术语，内部状态，内部状态 按实际计算机的术语按实际计算机的术语，，内部状态内部状态 机器的行 可以理解为在给定时刻贮存在机可以理解为在给定时刻贮存在机 可以理解为在给定时刻贮存在机可以理解为在给定时刻贮存在机 动进程 器内的全部信息的总和器内的全部信息的总和。。 器内的全部信息的总和器内的全部信息的总和。。 机器的 内部状 假定在暗箱里有有穷多个以确定假定在暗箱里有有穷多个以确定 假定在暗箱里有有穷多个以确定假定在暗箱里有有穷多个以确定 态 方式产生动作的不同条件方式产生动作的不同条件。。 方式产生动作的不同条件方式产生动作的不同条件。。 机器一个计算的单独一步要求说明 机器现在的内部状态机器现在的内部状态；； 一步计算