バシク行列の強さに達していないとは思う。BEAFより強いわけでもないだろうけど

X: 0個以上の自然数(非負整数)またはリスト
Y: 0個以上のb以上の自然数またはリスト
a: bより小さい自然数またはリスト
b, c: 自然数またはリスト

[](n)=n
[X,0](n)=[X](n+1)
[X,a,Y,b](n)=[X,a,Y,P(b,n),a,Y,P(b,n),...](n)　　(Xの後にa,Y,P(b,n)をn回繰り返す)
[X,b,c](n)=[X,b,P(c)...](n)　　(P(c)がn個)
[b](n)=[P(b)](n+1)

P(0,n)=n
P(m+1,n)=m
P({X,a,Y,b},n)={X,a,Y,P(b),a,Y,P(b),...}
P({X,b,c},n)={X,b,P(c)...}
P({X,0},n)=P({X},n+1)
{}=0

C(0)=0
C(a)=C(P(a))+1
a＜b⇔C(a)＜C(b)

[0,1,2](2)=[0,1,1,1,1,1,1](2)=[0,1,1,1,1,1,0,0,1,1,1,1,1,0](2)
=[0,1,1,1,1,1,0,0,1,1,1,1,1](3)
=[0,1,1,1,1,1,0,0,1,1,1,1,0,0,1,1,1,1,0,0,1,1,1,1,0](3)

[0,1](2)=[0,0,0,0](2)=6

[{0,1},{0,1}](2)=[{0,1},4,4](2)=[{0,1},4,3,3](2)