12/10/11 03:37:46.87
x, y, n は 任意の非負整数 である
x:n と記述した場合 n個 の x である
# は 0個以上 の 任意の非負整数 である
上記を踏まえると多変数アッカーマン関数 Ak(a_1,a_2,a_3,......,a_(n-1),a_n) は次の３行で定義できる
Ak( x, 0:n ) = x+1
Ak( 0:(n+1), y+1, # ) = Ak( 1:(n+1), y, # )
Ak( x+1, 0:n, y+1, # ) = Ak( Ak( x, 0:n, y+1, # ):(n+1), y, # )
うむ、美しい