G=グラハム数
X=0個以上の0以上の整数
a,b,n=0以上の整数
a→b=コンウェイのチェーン表記
a#b=b個のa

A()=G
A(0#[n+1])=A(0#n)→A(0#n)→…{A(0#n)個}…→A(0#n)→A(0#n)
A(a+1)=A(0#A(a))
A(0#[n+1],a+1)=A(A(0#[n+1],a)#[n+1])
A(X,b+1,0#[n+1])=A(X,b,A(0#[n+1])#[n+1])
A(X,b+1,0#n,a+1)=A(X,b,A(X,b+1,0#n,a)#[n+1])