07/09/15 07:18:19
>>403
> A(x+1,y+1,z+1) = A(x,A(x+1,y,A(x+1,y+1,z)),A(x+1,y+1,z)))
3変数アッカーマン関数の定義はこれに決まってるの？
それとも、単なる拡張方法の１つ？
このスレでの合意？
単なる拡張方法の１つなら、
>>323 の方が簡単で良いと思うんだけど。
------アッカーマンの多変数への拡張の案------
●定義
Ak(□, a) = a+1
Ak(Ｘ, b+1, 0, □, a) = Ak(Ｘ, b, a, □, a)
Ak(Ｘ, b+1, 0) = Ak(Ｘ, b, 1)
Ak(Ｘ, b+1, a+1) = Ak(Ｘ, b, Ak(Ｘ, b+1, a))
ただし、
a, b : 0以上の整数
□ : 0個以上の0
Ｘ : 0個以上の0以上の整数
●大きさ
Ak(..., a2, a1, a0, n) ≒ F[...+ ω^2*a2 + ω*a1 + a0](n)
Ak(1がn個) ≒ F[ω^ω](n)