G(a,b)=GGG...b...GGG(a)
末项为0时去掉
G(a,b,c)=G(G(a,b-1,c),b,c-1)
......
相当于BEAF的线性数阵
G(a,b,[1<1>1])=G(a,a,a,a,a...b次...a)
G(a,b,c,1[1<1>1])=G(a,G(a,b-1,c,1[1<1>1]1),c-1,1[1<1>1]1)
相当于BEAF的{n,n,...n(1)2}
......
G(a,b,[1<1>1],n+)=G(a,a,a,a,a...b次...a,1[1<1>1]1,n)
G(a,b,c,[1<1>1],n)(c)=G(a,G(a,b-1,c,1[1<1>1]1,n),c-1,1[1<1>1]1,n)
相当于BEAF的{n,n,...n(1)n}
G(a,b,[1<1>1],1,2)=G(a,1[1<1>1]1,G(a,b-1,1[1<1>1]1,1,2))
G(a,1,[1<1>1],1,2)=a
G(a,b,[1<1>1],n+,c)=G(a,a,...b次...a,a,1[1<1>1]1,n,c)
G(a,b,[1<1>1],1,c+)=G(a,1[1<1>1]1,G(a,b-1,1[1<1>1]1,1,c))
相当于BEAF的{n,n(1)n,n,...n}
......
G(a,b,[1<1>1],c,d,[1<1>1],e)=G(a,[1<1>1],c,c,c,c...d次...,c,c[1<1>1],e-1)
G(a,b,[1<1>1],c,d,e,[1<1>1],f)=G(a,b,[1<1>1],c,G(a,b,[1<1>1],c,d-1,e,[1<1>1],f),e-1,[1<1>1],f)
G(a,b,[1<1>1],c,d,[1<1>1],e,f)=G(a,b,[1<1>1],c,d,[1<1>1],G(a,b,[1<1>1],c,d,[1<1>1],e-1,f),f-1)
......
G(a,b,[2<1>1],1)=G(a,a,[1<1>1],a,a,[1<1>1],...b次...a,a,[1<1>1],a,a)
G(a,b,[2<1>1],c)=G(a,a,a,...b次...a[2<1>1],c-1)
G(a,b,c,[2<1>1],d)=G(a,G(a,b-1,c,[2<1>1],d),c-1,[2<1>1],d)
G(a,1,
#)=a,#代表任意数阵部分
G(a,b,[2<1>1],c,d,[1<1>1],n)=G(a,b,[2<1>1],c,c,c,...b次...c,[1<1>1],n-1)
......
G(a,b,[3<1>1],1)=G(a,a,[2<1>1],a,a,[2<1>1],...b次...a,a,[2<1>1],a,a)
G(a,b,[n+1<1>1],1)=G(a,a,[n<1>1],a,a,[n<1>1],...b次...a,a,[n<1>1],a,a)
相当于BEAF的{n,n(n)n}
G(a,b,[1,2<1>1],1)=G(a,b,[G(a,b-1,[1,2<1>1],1)<1>1],1)
接下来规则不变
G(a,b,[1,2<1>1][1<1>1],1)=G(a,a,[1,2<1>1],a,a,[1,2<1>1],...b次...a,a,[1,2<1>1],a,a)
G(a,b,[1,2<1>1][2<1>1],1)=G(a,a,[1,2<1>1][1<1>1],a,a,[1,2<1>1][1<1>1],...b次...a,a,[1,2<1>1][1<1>1],a,a)
G(a,[1,2<1>1][1,2<1>1],1)(b)=G(a,b,[1,2<1>1][G(a,b-1,[1,2<1>1][1,2<1>1],1)<1>1],1)
......
G(a,b,[n+,2<1>1],1)=G(a,a,[n,2<1>1][n,2<1>1]...b次...[n,2<1>1],1)
G(a,b,[1,n<1>1],1)=G(a,b,[1,n<1>1],1)=G(a,b,[G(a,b-1,[1,n<1>1],1)<1>1],1)
G(a,b,[n,n,n<1>1],1)=G(a,b,[n,G(a,b,[n,n-1,n<1>1],1),n-1<1>1],1)
相当于BEAF的{n,n(n,n,n,n,n,...n,n)n}
......
G(a,b,[n,[1<1>1],1<1>1],1)=G(a,b,[n,n,n,...b次...n<1>1],1)
G(a,b,[n,[1<1>1],2<1>1],1)=G(a,b,[n,n,n,...b次...n,n[1<1>1],1<1>1],1)
G(a,b,[1,d,[1<1>1],2<1>1],1)=G(a,b,[G(a,b-1,[1,d,[1<1>1],2<1>1],1),d,[1<1>1],2<1>1],1)
......
懒得写了,套的BEAF皮,基础部分极限G(n,n,[n,[n,[...[n,[n<1>1],n<1>1]...,n<1>1],n<1>1],n<1>1],n)
psi(0)
(a,b,[1<1>2],c)=(a,b,[a,[a,[...[a<1>1]b次...,b<1>1],b<1>1],b<1>1],c)
老套路
后面进位规则是一样的,接下来我只讲比较新的部分
(a,b,[1<1>2][1<1>1],1)=(a,a,[1<1>2],a,a,...b次...[1<1>2],a,a)
(a,b,[1<1>2][2<1>1],1)=(a,a,[1<1>2][1<1>1],a,a,...b次...[1<1>2][1<1>1],a,a)
(a,b,[1<1>2][3<1>1],1)
(a,b,[1<1>2][4<1>1],1)
(a,b,[1<1>2][1,2<1>1],1)
(a,b,[1<1>2][1,1,2<1>1],1)
(a,b,[1<1>2][1,1,2<1>1],1)
(a,b,[1<1>2][2,[2<1>1],2<1>1],1)
(a,b,[1<1>2][1<1>2],1)
......
(a,b,[1,[1<1>2]1<1>1],1)=(a,b,[1<1>2][1<1>2][1<1>2]...b次...[1<1>2][1<1>2],1)
(a,b,[n+,[1<1>2]1<1>1],1)=(a,b,[n,[1<1>2]<1>1][n,[1<1>2]<1>1]...b次...[n,[1<1>2]<1>1],1)
(a,b,[c,d,[1<1>2]1<1>1],1)=(a,b,[(a,b,[c-1,d,[1<1>2]<1>1],1),d-1,[1<1>2]<1>1],1)
......
(a,b,[c,d,[1<1>2]2<1>1],1)=(a,b,[c,c,...b次...c[1<1>2]2<1>1],1)
(a,b,[c,d,[1<1>2]2,2<1>1],1)
(a,b,[c,d,[1<1>2]2,2,2<1>1],1)
(a,b,[c,d,[1<1>2]2,2,[1<1>1],1,1<1>1],1)
(a,b,[c,d,[1<1>2]2,2,[1<1>2],1,1<1>1],1)
(a,b,[c,d,[1<1>2][1<1>1]2,1<1>1],1)
(a,b,[c,d,[1<1>2][1,1,2<1>1]2,1<1>1],1)
(a,b,[c,d,[1<1>2][1,[1<1>1],1<1>1]2,1<1>1],1)
(a,b,[c,d,[1<1>2][1<1>2]2,1<1>1],1)
(a,b,[c,d,[1,[1<1>2],1<1>1],1,1<1>1],1)
(a,b,[c,d,[1,[1,[1<1>2],1<1>1],1<1>1],1<1>1],1)
(a,b,[2<1>2],c)=(a,b,[a,[a,[...[1<1>2]b次...,b<1>1],b<1>1],b<1>1],c)
似曾相识,跟(a,b,[1<1>2],c)时一样的,只不过最里层多了个[1<1>2]
(a,b,[n<1>2],c)=(a,b,[a,[a,[...[n-1<1>2]b次...,b<1>1],b<1>1],b<1>1],c)
(a,b,[1,2<1>2],c)
(a,b,[1,[1<1>1],1<1>2],c)
(a,b,[1,[1,[1<1>1],1<1>1],<1>2],c)
(a,b,[c,d,[1<1>2],1<1>2],c)=(a,b,[c,[c,[...[c<1>1]d次...d<1>1],d<1>1],1<1>2],c)
(a,b,[1,[1,[1<1>2],1<1>2],1<1>2],c)
(a,b,[1<1>3],c)=(a,b,[a,[a,[...[a<1>2]b次...,b<1>2],b<1>2],b<1>2],c)
(a,b,[1<1>4],c)
(a,b,[1<1>5],c)
(a,b,[1<1>1,2],c)=(a,b,[1<1>b],c)
(a,b,[1<1>1,3],c)=(a,b,[1<1>b,2],c)
(a,b,[1<1>1,m,n],c)=(a,b,[1<1>1,(a,b,[1<1>1,m-1,n],c),n-1],c)
(a,b,[1<1>1,1,1,2],c)
(a,b,[1<1>c,d,[1<1>1],n],c)=(a,b,[1<1>c,c,c,c,c...d次...c,[1<1>1],n-1],c)
(a,b,[1<1>c,d,[1<1>1],n,n],c)
(a,b,[1<1>c,d,[1<1>1],n,n,[1<1>1]],c)
(a,b,[1<1>c,d,[2<1>1],c)
(a,b,[1<1>c,d,[1,2<1>1],c)
(a,b,[1<1>c,d,[2,[1<1>1],2<1>1],c)
(a,b,[1<1>c,d,[1<1>2],2],c)
(a,b,[1<1>c,d,[1<1>1,2],2],c)
(a,b,[1<1>c,[1<1>1,[1<1>2],1],2],c)
(a,b,[1<2>1],c)=(a,b,[a<1>a,[a<1>a,[a<1>b,...[a<1>b,[a<1>b],b]b次...],b],b],c)
FSO
(a,b,[1<2>1],c)
按照同样的方法套娃
(a,b,[1<2>1],c,d,[1<2>1],e)
(a,b,[1<2>1][1<1>1],c)
(a,b,[1<2>1][2<1>1],c)
(a,b,[1<2>1][1,2<1>1],c)
(a,b,[1<2>1][1,[1<1>1],2<1>1],c)
(a,b,[1<2>1][1<1>2],c)
(a,b,[1<2>1][1<1>3],c)
(a,b,[1<2>1][1<1>1,2],c)
(a,b,[1<2>1][1<1>1,[1<1>2],2],c)
(a,b,[1<2>1][1<2>1],c)
(a,b,[1<2>1][1<2>1][1<2>1],c)
(a,b,[1,[1<2>1],1<1>1],c)
(a,b,[2,[1<2>1],1<1>1],c)
(a,b,[1,2,[1<2>1],1<1>1],c)
(a,b,[1,[1<1>1],1,1,[1<2>1],1<1>1],c)
(a,b,[1,[1<2>1],1,1,[1<2>1],1<1>1],c)
(a,b,[1,1,[1<2>1][1<2>1],1<1>1],c)
(a,b,[1,[1,[1<2>1],1<1>1],1,,1<1>1],c)
(a,b,[1,[1<2>1],1<1>2],c)
(a,b,[1,[1<2>1],1<1>3],c)
(a,b,[1,[1<2>1],1<1>2,3],c)
(a,b,[n<2>1],c)=(a,b,[a<1>a,[a<1>a,[a<1>b,...[a<1>b,[n-1<2>1],b]b次...],b],b],c)
(a,b,[1,2<2>1],c)
(a,b,[1,[1<1>1],2<2>1],c)
(a,b,[2,[2<2>1],2<2>1],c)
(a,b,[2,[2,[2<2>1],2<2>1],2<2>1],c)
(a,b,[1<2>2],c)
(a,b,[2,[2,[2,[2<2>1],2<2>1],2<2>2],c)
(a,b,[2<2>3],c)
(a,b,[2<2>4],c)
(a,b,[2<2>5],c)
(a,b,[2<2>5],c)
(a,b,[2<2>1,2],c)
(a,b,[2<2>1,[1<2>1],2],c)
(a,b,[1<n+1>1],c)=(a,b,[a<n>a,[a<n>a,[a<n>b,...[a<n>b,[a<n>b],b]b次...],b],b],c)
(a,b,[1<1,2>1],c)=(a,b,[1<b>1],c)
(a,b,[1<1,3>1],c)=(a,b,[1<b,2>1],c)
(a,b,[1<1,m,n>1],c)=(a,b,[1<(a,b,[1<1>1,m-1,n],c),n-1>1,],c)
似曾相识,后面不会用我说了
(a,b,[1<1,[1<1>1],2>1],c)
(a,b,[1<1,[1<2>1],2>1],c)
(a,b,[1<1,[1<3>1],2>1],c)
(a,b,[1<1,[1<1,2>1],2>1],c)
(a,b,[1<1,[1<1,[1<1>1],2>1],2>1],c)
limit(n,n,[n<n,[n<n,[n<n,...[n<n,[n<n>n],n>n]...,n>n],n>n],n>n],n)
我只能分析到FSO,希望大佬分析下能不能到TREE3,如果能的话TREE3如何用我这个记号表示