5.2函数的构造.pptVIP

例 f(x)=D(x) 可用原始递归表示如下： 其中，B=I21为函数的迭置。 例 f(x, y)= x ? y 可用原始递归表示如下： 其中，B=DI33为函数的迭置。 例(p72) min(x，y) 因为 min(x，y)=x · (x ? y)， 又因为x ? y是原始递归函数， 由它迭置所得的函数仍为原始递归函数。 故min(x，y)为原始递归函数。 例 max(x，y) 试证明函数max(x，y)为原始递归函数. 证明: 因为 max(x,y)= x+(y · x) 且x+y 和 x · y为原始递归函数， 所以max(x,y) 是由原始递归函数x+y 和x · y 利用迭置而得。 根据原始递归函数的定义知， max(x,y)为原始递归函数。 例 x ?? y 证明: 因为 x ?? y = (x · y) +(y · x) 且x+y 和 x · y为原始递归函数，所以x ?? y是由原始递归函数x+y 和x · y 利用迭置而得。 根据原始递归函