五章节递归函数论.pptxVIP

五章节递归函数论会计学派生法第1页/共41页——利用旧函数构造新函数的方法迭置法算子法派生法5.2.1 迭置法第2页/共41页已知函数f(x), g(x), h(x, y), f1(x),f2(x)，可以作复合函数如下： g(f(x)) f(g(x)) h(f(x), g(x)) h(f1(x),f2(x)) … …——函数的迭置(合成)迭置与非迭置的例子第3页/共41页设有函数S(x)， S2(x)=S(S(x)), S3(x)=S(S(S(x))), … …考察: Sa(x)=S(S(… (S(x)) … )?考察： Sy(x)=S(S(… (S(x)) … )?ay其中, a为常数。 迭置法第4页/共41页定义：设新函数在某一变元处的值与诸旧函数的n个值有关，如果n不随新函数的变元组的变化而变化，则称该新函数是由旧函数利用迭置而得。一、(m，n)标准迭置 第5页/共41页定义：设有一个m元函数f(y1,…,ym)，有m个n元函数 g1(x1,…,xn)、 … … 、gm(x1,…,xn)， 令： h(x1，…，xn)=f(g1，…，gm) 称之为(m，n)标准迭置。 并称函数h是由m个g对f作(m，n)迭置而得， 简记为： h= f(g1，…，gm)例 下面的迭置化为(m，n)标准迭置:第6页/共41页 h(x1,x2)=f(x1,2,g(x2))解：h(x1,x2)=f(h1,h2,h3) 其中， h1(x1,x2)=I21(x1,x2) h2(x1,x2)=S2OI22(x1,x2) h3(x1,x2)=g (I22(x1,x2)) 故函数h(x1，x2)是由函数h1、h2、h3对f作(3，2)迭置而得。例 下面的迭置化为(m，n)标准迭置:第7页/共41页 h(x1,x2,x3)=f(3,g1(x1,2),g2(x1,x2),x3)解：h(x1,x2,x3)=f(h1,h2,h3,h4) 其中， h1(x1,x2,x3)=S3OI31(x1,x2,x3) h2(x1,x2,x3)=g1(I31(x1,x2,x3),S2OI32(x1,x2,x3)) h3(x1,x2,x3)=g2(I31(x1,x2,x3)，I32(x1,x2,x3)) h4(x1,x2,x3)=I33(x1,x2,x3) 故函数h(x1，x2，x3)是由函数h1、h2、h3、h4对f作(4，3)迭置而得。例 下面的迭置化为(m，n)标准迭置:第8页/共41页 h(x1,x2,x3)=f(3,g1(x1,2),g2(x1,x2),x3)解：h(x1,x2,x3)=f(h1,h2,h3,h4) 其中， h1(x1,x2,x3)=S3OI31(x1,x2,x3) h2(x1,x2,x3)=g1(I31(x1,x2,x3),S2OI32(x1,x2,x3)) h3(x1,x2,x3)=g2(I31(x1,x2,x3)，I32(x1,x2,x3)) h4(x1,x2,x3)=I33(x1,x2,x3) 故函数h(x1，x2，x3)是由函数h1、h2、h3、h4对f作(4，3)迭置而得。例(6分) 下面的迭置化为(m，n)标准迭置:第9页/共41页二、凑合定义法 第10页/共41页假设数论语句A1、A2、…、Ak，　对任何一个变元组(X1，X2，…，Xn)，有且仅有一个语句Ai成立。令:称h为由旧函数f1、…、fk及数论语句A1、…、Ak利用凑合定义而得到的新函数。化凑合定义为迭置第11页/共41页 h(x1,…,xn)= f1(x1 ,…, xn)?Nct A1(x1 ,…, xn) + f2(x1 ,…, xn)?Nct A2(x1 ,…, xn) +…… + fk(x1 ,…, xn)?Nct Ak(x1 ,…, xn)注意：这里仅当Ai(x1,…,xn)为真时,　　ct Ai(x1 ,…, xn)= 0　进而，Nct A1(x1 ,…, xn)=1 显然, 有 Nct A1(x1 ,…, xn)+ …+ Nct Ak(x1 ,…, xn)=1例 (p58)试用凑合定义法定义函数lm(x，3)，并把它化为迭置。第12页/共41页解： 根据凑合定义法知： lm(x,3)= xNct(x为3的倍数)+3xNct(x不为3的倍数) = xN(N2 rs(x，3))+3x N (N rs(x，3)) = xN3rs(x，3)+3x N2 rs(x，3) = xNrs(x，3)+3x N2 rs(x，3) = xNrs(x，3)+xN2 rs(x，3)+2 x N2rs(x，3) = x+2 x N2 rs(x，3)例 将下列凑合定义化为迭置第13页/共41页例 将下列凑合定义化为迭置第14页/共41页第五章 递归函数论第15页/共41页