- 747 名前：デフォルトの名無しさん mailto:sage [2009/07/08(水) 09:58:51 ]
- >>745
一般再帰(帰納的)関数の定義は？Kleeneの言うgeneral recursive function
の意味で言っているのなら、部分再帰関数の真部分集合。なぜなら部分再帰関数は
全域関数でもありうるから。
つまり、
原始再帰関数 c 一般再帰関数 c 部分再帰関数
ということ。ちなみに、原始再帰関数も真部分集合だぞ。Ackermann関数がその一例。
つーかおまい情報系出身か？この辺は一般常識だぞ。
門外漢なら計算理論の教科書を読むべき。
