アッカーマン配列
定義
a,b,n,m:0以上の整数
X:0個以上の整数と0個以上の区切り
Y:0個以上の0と0個以上の区切り
Z:1個以上の0と0個以上の区切り
次元の中では
X:0個以上の整数
Y:0個以上の0
「a(X)a…aをb個…a(X)a」を[a,X,b]と表す

1.{Ya}=a+1
2.{Xb+1(Y)0}={Xb(Y)1}
3.{Xb+1(Y)a+1}={Xb(Y){Xb+1(Y)a}}
4.{Xb+1(Y2)0Ya}={Xb(Y2)aYa}
5.{Xb+1(X2,n+1)Ya}={Xb(X2,n+1)[a,X2,n,a]} (Yは(X3,n+m+1)を含まない)
6.{Xb+1(X2,n+1)Z(X2,n+1)Ya}={Xb(X2,n+1)[a,X2,n,a](X2,n+1)Ya} (Zは(X3,n+m+1)を含まない)
7.{X(X,b+1,0,Y)Ya}={X(X,b,a,Y)Ya}

P(x)={x(x,…xをx個…x)x}
とすると、大きさはどのくらいでしょうか