帰纳的関数.pptVIP

計算の理論 II帰納的関数 月曜4校時 大月美佳 講義の前に 前回のミニテスト解答 (2の概略のみ) 今日の講義内容 原始帰納的関数 初期関数 合成と原始帰納 原始帰納的でない関数 Ackermann関数 原始帰納的な集合と述語 帰納的関数と部分帰納的関数 原始帰納的関数 計算可能な関数の一部 原始帰納的関数 ー拡大→帰納的関数＝計算できる関数の族 帰納的関数＝Turing機械で受理できる言語 数論的関数 自然数（非負整数）N N={0, 1, 2, 3, …} 数論的関数(関数) N個の自然数の組に対して、 高々1個の自然数を対応づける関数 f: Nn→N 初期関数 初期関数に操作を加えて原始帰納的関数を作成する。 (1) Z(x)=0 どんなxも0にしてしまう。 S(x)=x+1 xに1を加える。 Uni(x1, …, xi, …, xn)=xi i番目のxiを取り出す。 合成と原始帰納 初期関数に加える操作 合成 r変数の関数hとr個のn変数関数gi(1≦i≦r)から、 n変数の関数fを以下の操作で作ること。 f(x1, …,xn)=h(g1(x1, …,xn), …,gr(x1, …, xn)) 原始帰納 (primitive recursion) n-1変数の関数gとn+1変数の関数hから、 n変数の関数fを以下の操作で作ること。 f(x1, …, xn)=g(x1, …,xn-1) (xn=0のとき) f(x1, …, xn)=h(x1, …, xn-1, xn, f(x1, …, xn-1)) (xn＞0のとき) 原始帰納的関数(primitive recursive) 定義 初期関数(1), (2), (3)に 操作(I), (II)を 有限回(0回以上)適用して 得られた関数。 原始帰納的関数の例 (4) 定数関数 Cnk(x1, …, xi, …, xn)=k なぜならば Cnk(x1, …, xi, …, xn) =S(S(…S(Z(Uni(x1, …, xn)))…))=k 原始帰納的関数の例 (5) x1+x2 plus(x1, x2)= x1+x2とおくと、 plus(x1, x2)= U11(x1) (x2=0のとき) plus(x1, x2)=S(U33(x1, x2, plus(x1, x2-1))) (x2＞0のとき) 原始帰納的関数の例 (6) x1? x2 times(x1, x2)= x1?x2とおくと、 times(x1, x2)=Z(x1)=0 (x0=0のとき) times(x1, x2)=p(x1, x2, times(x1, x2-1)) (x2＞0のとき) ここで、 p(x, y, z)= plus(U31(x, y, z), U33(x, y, z)) =x+z 原始帰納的関数の例 (7) xy power(x1, x2)= x1x2とおくと、 power(x1, x2)=S(Z(x1))=1 (x2=0のとき) power(x1, x2)=p(x1, x2, power(x1, x2-1)) = x1?power(x1, x2-1) (x2＞0のとき) ここで、 p(x, y, z)= times(U31(x, y, z), U33(x, y, z)) =x?z 原始帰納的関数の例 (8) x1! factorial(x1)= x!とおくと、 factorial(x1)=S(Z(x1))=1 (x1=0のとき) factorial(x1)=p(x1, factorial(x1-1)) = x1?factorial(x1-1) (x1＞0のとき) ここで、 p(x, y)= times(U21(x, y)), U22(x, y)) =x?y 原始帰納的関数の例 (9) pd(x1)を pd(x1)=0 (x1=0のとき) pd(x1)= x1-1 (x1＞0のとき) とおくと、 pd(x1)=Z(x1) (x1=0のとき) pd(x1)=p(x1, pd(x1-1)) (x1＞0のとき) ここで、 p(x, y)= U22(x, y)=y 原始帰納的関数の例 (10) 自然数上での減算x1ーx2を x1ーx2 = x1- x2 (x1≧x2のとき) x1ーx2 = 0 (x1＜x2のとき) とする。 x1ーx2 =n-minus(x1, x2)とおくと、 n-minus(x1, x2)= U11(x1) (x2=0のとき) n-minus(x1, x2)=p(x1, x2, n-minus(x1, x2-1)) =pd(n-minus(x1, x2 -1)) (x2＞0のとき) ここで、