アッカーマン関数が頭から離れられないから小さいかもしれないけどアッカーマンでやってみる
Xは0個以上の0以上の整数
Yは0個以上の0
a,b,c,dは0以上の整数
AA(a,b:X,c+1,0)＝AA(a,b:X,c,1)
AA(a,b:X,c+1,d+1)＝AA(a,b:X,c,(AA(a,b:X,c+1,d)))
AA(a,b:X,c+1,0,Y,d)＝AA(a,b:X,c,d,Y,d)
AA(a+1,0:Y,b)＝AA(a,1:Y,b)
AA(0,a+1:Y,b)＝AA(0,a:b,b,b【b回】b,b)
AA(a+1,b+1:Y,c)＝AA(a,(AA(a+1,b:c,c,c【c回】c,c)):Y,c)
AA(0,0:Y,a)＝a+1