07/09/16 00:04:09
>>407
ちょっと書き方が変だったかな。
ack(x+1,y,z) ≒ ack(x+1,0,A(y,z)) ≒ ack(x,A(y,z),A(y,z))
といったところか。
>>405
この場合は
Ak(Ｘ, b+1, 0) = Ak(Ｘ, b, 1)
Ak(Ｘ, b+1, a+1) = Ak(Ｘ, b, Ak(Ｘ, b+1, a))
この箇所で、a0とnの計算について
Ak(..., a0, n) ≒ F[... + ω*a1 + a0](n)
という関係を作って、
Ak(Ｘ, b+1, 0, □, a) = Ak(Ｘ, b, a, □, a)
この箇所で、a=ak, b=a{k+1}として、
Ak(Ｘ, b+1, a, □, a) ≒ Ak(Ｘ, b+1, 0, □, F[ω^k])
= Ak(Ｘ, b, F[ω^k], □, F[ω^k])
≒ Ak(X, b-1, F[ω^k*2],...)
≒ Ak(X, b-2, F[ω^k*3],...)
...
≒ F[ω^(k+1)]
といった関係を作るわけですね。