第4章Post图灵机.PPT

算法思想：若x=0，则函数值为0，因此不必做任何工作；若x?0，则要抹去一个1，具体P-T程序如下： RIGHT TO E IFB ［A］ RIGHT TO A IF 1 LEFT WRITE B 仿过去的(部分)可计算函数，可定义Post-Turing可计算函数。 定义4.1.1称函数f是P-T部分可计算的，若有一个P-T程序计算它。 4.2可计算性与P-T可计算性 定理4.2.1 每个(部分)可计算函数是P-T(部分)可计算函数。 从带(*)到带(**)部分的P-T程序部分将表示为 下面将用这些宏指令给出程序的模拟方法。 (B)MIDDLE 现在介绍用P-T指令模拟程序P的方法。 我们可假设程序P只包含下列三种指令： x=x+1 x=x-1 TO A IF x?0 为方便计，将变元统一改名为vi，具体如下： a vi=vi+1的模拟程序如下： 模拟程序的工作过程是： 下面还用到一条宏指令： 2 跳到vi?块后面的第一个B上，并将它改为1。 (C) END部分 END部分的作用是消去带上的所有块和块，只保留块。这里用到一条宏指令： ERASE指令的主要用途是把一个块内的1全部改为B，并把指针放在该块的后继格上。该指令工作时要求指针位于所要抹的块的第一位上。 实现算法是： 1 检查注视符