MT(a)=a+1
MT(a+1,b)=MT(MT(MT(MT(...MT(a,b)...[b 次]),b),b),b)
MT(a,b+1,c)=MT(a,MT(a,MT(a,MT(...MT(a,b,c)...[c 次]),b,c),b,c),b,c)
MT(a...n,m)=MT(a...,MT(a...,MT(a...,MT(...MT(a...,m,n)...[m 次]),m,n),m,n),m,n)
MT[a]A=MT(a)A
MT[a,b]=MT(a,a,a,a,a,a,a...(b个)...a,a)
MT[a,b,c]=MT(a[c],a[c],a[c]...(b个)...a[c],a[c])
MT(...a[b]...)的定义，若a[b]是数阵最后一项，则a[b]展开为a[b-1],a[b-1]a[b-1]...(a个)...a[b-1]，a[b-1]，若数阵中a[b]后还有X，则展开为a[b-1],a[b-1]a[b-1]...(x个)...a[b-1]，a[b-1],并去掉x，当[]中数字=0时，去掉括号
MT[a,b,c,d]=MT(a[c,d],a[c,d],a[c,d]...(b个)...a[c,d],a[c,d])
MT(...a[b,c]...)的定义，若a[b,c]是数阵最后一项，则展开为a[b-1,c],a[b-1,c]a[b-1,c]...(a个)...a[b-1,c]，a[b-1,c]，若数阵中a[b,c]后还有X，则展开为a[b-1,c],a[b-1,c]a[b-1,c]...(x个)...a[b-1,c]，a[b-1,c],并去掉x，a[0,b]=a[a[a[a...(a次)...[a,c-1]......c-1]c-1],c-1]
MT[a,b,c...,m,n]=MT(a[c...,m,n],a[c...,m,n],a[c...,m,n]...(b个)...a[c...,m,n],a[c...,m,n])
MT(...a[c...x,m,n]...)的定义:若a[c...x,m,n]是数阵最后一项，则a展开为a[c...x,m-1,n],a[c...x,m-1,n]a[c...x,m-1,n]...(a个)...a[c...x,m-1,n]，a[c...x,m-1,n]，若此项在数阵后后还有数字y，则展开为a[c...x,m-1,n],a[c...x,m-1,n]a[c...x,m-1,n]...(y个)...a[c...x,m-1,n]，a[c...x,m-1,n],并去掉x，a[c...x,0,n]=x[x[x[x...(c次)...[c...x,n]......x-1]x-1],x-1]
我们把（）当成1级括号，[]当成2级括号，把[]中的数写进（）叫降级，还会有3，4，5...，n级括号，等级>2的符号定义相似，只不过降级到符号等级-1的括号里
后面懒得写MT了
我们把等级写成（a，b...x|n）其中n代表符号等级
我们还可以继续套娃（a，b...x|（a，b...x|n））（a，b...x|（a，b...x|（a，b...x|n）））（a，b...x|（a，b...x|......））
将套娃的次数写到下一项：
（a，b...x|（a，b...x|1））=（a，b...x|1，2）
（a，b...x|（a，b...x|（a，b...x|1）））=（a，b...x|1，3）
（a，b...x|n，3）=（a，b...x|（a，b...x|（a，b...x|n）））
（a，b...x|1，（a，b...x|1，3））=（a,b...x|1,3,2）
我们可以一直添加下一项...
（a,b...x||n）[m]=（a,b...x|n,n,n,n...(m次),n,n,n）
（a,b...x|||n）[m]=（a,b...x||n,n,n,n...(m次),n,n,n）[m]
（a,b...x|n）[0,1]=（a,b...x|||...(m次)|||n）[（a,b...x）]
（a,b...x|n）[1,1]=（a,b...x|||...(m次)|||n）[0,1]
（a,b...x|n）[0,2]=（a,b...x|||...(m次)|||n）[（a,b...x）,1]
（a,b...x|n）[0,0,1]=（a,b...x|||...(m次)|||n）[0,（a,b...x）]
......
（a,b...x|n）[0][1]=（a,b...x|n）[0,0,0,0,0,0,0,0,0,0,0,0,0,0...{（a,b...x）次}0,1]
（a,b...x|n）[0][0][1]=（a,b...x|n）[0][0,0,0,0,0,0,0,0,0,0,0,0,0,0...{（a,b...x）次}0,1]
我们可以将中括号写入数阵里
为了间接，我们将a,b...x设成@
（@|||n）[y][z][e]=（a,b...x\\\n///(\/的个数=|的个数)y,z,e）
（a,b...x,\n/,y,z,e|m）展开时可以忽略\n/和它前面的东西，记作f]，（f]y,z,e|m）展开规则与前面的n级MT数阵一致
继续按照同样的规则我们可以知道
（f]a，b...x|（f]a，b...x|1））=（a，b...x|1，2）
......
（f]a,b...x||n）[m]=（f]a,b...x|n,n,n,n...(m次),n,n,n）
......
重复以上步骤我们可以得到（a,b...x\n/y,z,e\m/f,g,h\.../...）
抄了初级BEAF
n维没看太懂，但感觉可能有相似之处
增长率能到w^w^w吗
MT(a+1,b)=MT(MT(MT(MT(...MT(a,b)...[b 次]),b),b),b)
MT(a,b+1,c)=MT(a,MT(a,MT(a,MT(...MT(a,b,c)...[c 次]),b,c),b,c),b,c)
MT(a...n,m)=MT(a...,MT(a...,MT(a...,MT(...MT(a...,m,n)...[m 次]),m,n),m,n),m,n)
MT[a]A=MT(a)A
MT[a,b]=MT(a,a,a,a,a,a,a...(b个)...a,a)
MT[a,b,c]=MT(a[c],a[c],a[c]...(b个)...a[c],a[c])
MT(...a[b]...)的定义，若a[b]是数阵最后一项，则a[b]展开为a[b-1],a[b-1]a[b-1]...(a个)...a[b-1]，a[b-1]，若数阵中a[b]后还有X，则展开为a[b-1],a[b-1]a[b-1]...(x个)...a[b-1]，a[b-1],并去掉x，当[]中数字=0时，去掉括号
MT[a,b,c,d]=MT(a[c,d],a[c,d],a[c,d]...(b个)...a[c,d],a[c,d])
MT(...a[b,c]...)的定义，若a[b,c]是数阵最后一项，则展开为a[b-1,c],a[b-1,c]a[b-1,c]...(a个)...a[b-1,c]，a[b-1,c]，若数阵中a[b,c]后还有X，则展开为a[b-1,c],a[b-1,c]a[b-1,c]...(x个)...a[b-1,c]，a[b-1,c],并去掉x，a[0,b]=a[a[a[a...(a次)...[a,c-1]......c-1]c-1],c-1]
MT[a,b,c...,m,n]=MT(a[c...,m,n],a[c...,m,n],a[c...,m,n]...(b个)...a[c...,m,n],a[c...,m,n])
MT(...a[c...x,m,n]...)的定义:若a[c...x,m,n]是数阵最后一项，则a展开为a[c...x,m-1,n],a[c...x,m-1,n]a[c...x,m-1,n]...(a个)...a[c...x,m-1,n]，a[c...x,m-1,n]，若此项在数阵后后还有数字y，则展开为a[c...x,m-1,n],a[c...x,m-1,n]a[c...x,m-1,n]...(y个)...a[c...x,m-1,n]，a[c...x,m-1,n],并去掉x，a[c...x,0,n]=x[x[x[x...(c次)...[c...x,n]......x-1]x-1],x-1]
我们把（）当成1级括号，[]当成2级括号，把[]中的数写进（）叫降级，还会有3，4，5...，n级括号，等级>2的符号定义相似，只不过降级到符号等级-1的括号里
后面懒得写MT了
我们把等级写成（a，b...x|n）其中n代表符号等级
我们还可以继续套娃（a，b...x|（a，b...x|n））（a，b...x|（a，b...x|（a，b...x|n）））（a，b...x|（a，b...x|......））
将套娃的次数写到下一项：
（a，b...x|（a，b...x|1））=（a，b...x|1，2）
（a，b...x|（a，b...x|（a，b...x|1）））=（a，b...x|1，3）
（a，b...x|n，3）=（a，b...x|（a，b...x|（a，b...x|n）））
（a，b...x|1，（a，b...x|1，3））=（a,b...x|1,3,2）
我们可以一直添加下一项...
（a,b...x||n）[m]=（a,b...x|n,n,n,n...(m次),n,n,n）
（a,b...x|||n）[m]=（a,b...x||n,n,n,n...(m次),n,n,n）[m]
（a,b...x|n）[0,1]=（a,b...x|||...(m次)|||n）[（a,b...x）]
（a,b...x|n）[1,1]=（a,b...x|||...(m次)|||n）[0,1]
（a,b...x|n）[0,2]=（a,b...x|||...(m次)|||n）[（a,b...x）,1]
（a,b...x|n）[0,0,1]=（a,b...x|||...(m次)|||n）[0,（a,b...x）]
......
（a,b...x|n）[0][1]=（a,b...x|n）[0,0,0,0,0,0,0,0,0,0,0,0,0,0...{（a,b...x）次}0,1]
（a,b...x|n）[0][0][1]=（a,b...x|n）[0][0,0,0,0,0,0,0,0,0,0,0,0,0,0...{（a,b...x）次}0,1]
我们可以将中括号写入数阵里
为了间接，我们将a,b...x设成@
（@|||n）[y][z][e]=（a,b...x\\\n///(\/的个数=|的个数)y,z,e）
（a,b...x,\n/,y,z,e|m）展开时可以忽略\n/和它前面的东西，记作f]，（f]y,z,e|m）展开规则与前面的n级MT数阵一致
继续按照同样的规则我们可以知道
（f]a，b...x|（f]a，b...x|1））=（a，b...x|1，2）
......
（f]a,b...x||n）[m]=（f]a,b...x|n,n,n,n...(m次),n,n,n）
......
重复以上步骤我们可以得到（a,b...x\n/y,z,e\m/f,g,h\.../...）
抄了初级BEAF
n维没看太懂，但感觉可能有相似之处
增长率能到w^w^w吗
