第一部分可计算性-Read.docVIP

第二部分 可计算性 可计算函数 2.1程序设计语言 我们首先引进一个FORTRAN式的极简单的程序设计语言。语言包括赋值语句，条件转移和无条件转移语句。语句可带标号也可不带标号。 用带或不带下标的小写字母表示变元。例如： x，y，z，x1，(，z1，z2，( 等等。假定这些变元取非负整数值，在讲义中凡是提到数就指非负整数。 标号一般地用下列大写字母表示： A，B，C，D，E，(，A1，A2，B1，B2，( 等等。 虽然我们的语言是极为简单的，但我们将看到它足以描述任何复杂的计算过程，而且指令表中的后二条也是可节省的。于是从理论上说只要三条指令就可以了。 指令(语句)结构表 指 令 说 明 x=x+1 变元x的值增加1 x=x-1 变元x的值减1。若x的值为0，则结果仍为0 TO A IF x(0 若x(0，则转标号为A的指令；否则执行下一条指令 TO A 无条件转到标号为A的指令 y=x 把x的值赋给变元y，x值保持不变 根据定义，下列语句都是非法的 1 y=x+1 2 x=x+2 3 TO A IF x=0 4 TO A IF x(y 5 x=2(x+1 就是说只允许指令表中所规定形式的语句。这就表明我们的语言实在太简单了。 程序中变元按其作用可分为三类：一是在执行程序前必须通过外部的方法给值的变元，这种变元称为程序的输入变元或自由变元；一是表示计算结果的变元，称这种变元为程序的输出变元，因函数值是一个整数，因此一个程序过程只有一个输出变元；一是用于存放临时值的变元，称这种变元为程序的临时变元或工作变元。 在本书中约定： 1 用x表示输入变元。例如： x0，x1，x2，x3，(( 2 用z表示临时变元。例如： z0，z1，z2，z3，(( 3 用y表示输出变元。 另外，对程序特做如下的规定： 1 当程序开始执行时自动认为一切变元(输入变元除外)的值为0。 2 当程序出现下列两种情况之一时自动认为停机： a) 转向无定义的标号。 b) 执行了程序的最后一条指令，但没有下一条指令。 下面考虑一些程序例子。 例2.1.1 计算 y=x+3 程序 x=x+1 x=x+1 x=x+1 y=x 在这里x是输入变元，在执行程序前必须赋给它一个值。当执行完最后一条时自动停机。 例2.1.2 计算零函数n(x)=0 程序 x=x+1 在这里x=x+1不起任何计算作用，只是表明程序有一个输入变元x。当程序结束时，因为y的初值本来就是0，而后又没改变，因此计算结果自然y=0。 程序亦可写成 x1=x1+1 x2=x2+1 这个程序计算结果也是y=0，但它有两个变元x1和x2。它所计算的函数是n(x1，x2)=0。 例2.1.3 计算y=x1+x2 程序 y=x1 ［B］TO A IF x2(0 TO E ［A］x2=x2-1 y=y+1 TO B 例2.1.4 计算y=2x 程序： TO C IF x(0 TO E ［C］ TO A IF x(0 ［B］ y=y+1 z=z-1 TO B IF z(0 TO E ［A］x=x-1 y=y+1 z=z+1 TO C 每执行一条指令要改变变元的值。如果变元的集合视作内存，则程序的执行过程也就是不断改变内存状态的过程。 我们看一下上面的程序。该程序的内存可视为(x，y，z)，下面我们来考察一下当x=3时内存的变化情况。内存的初值是 (3，0，0) 以后的变化过程如下： x=3 y=0 z=0 x=2 y=1 z=1 x=1 y=2 z=2 x=0 y=3 z=3 x=0 y=4 z=2 x=0 y=5 z=1 x=0 y=6 z=0 例2.1.5 计算y=x1(x2 现在我们可以把上述程序做为宏指令来使用了。比如，可直接用y=x1+x2，y=2x等宏指令。y=x1(x2的程序如下。 ［B］ TO A IF x2(0 TO E ［A］x2=x2-1 y=y+x1 TO B 2.2 无条件转移和赋值的消去 我们将说明下面两种指令是可消去的： TO A y=x 就是说有它们也并不增加功能，因此可视为宏指令。事实上，它们分别表示下面的指令组： TO A： z=z+1 TO A IF z(0 y=x的展开稍微复杂些，算法的思想是把x复写到y1，当复写完时x=0。再把y1复写到y中，复写完时x值也被恢复。 下面是把x复写到y1的程序。 ［B1］ TO A1 IF x(0 TO E ［A1］ x=x-1 y1=y1+1 TO B1 把y1复写到y，并恢复x值的程序部分如下： ［B2］ TO A2 IF y1(0 TO E ［A2］