记号分为多个部分，初级数阵PAN(Primitive Array Notation)，斜杠数阵SLAN(Slash Array Notation)，下]标数阵SSLAN(Slash Subscript Array Notation)，多重斜杠数阵MSLAN(Multiple Slash Array Notation)，花括号数阵BRAN(Brace Array Notation),其中BRAN还未完成，PAN从1到e_0，SLAN到BHO，SSLAN到BO，MSLAN到EBO，BRAN尚未完成且暂时不良
完全就是OCF换皮，psi(W_W)之前像BAN换皮
PAN与许多数阵的e_0部分重合，像BEAF（然而良定义只到这里），SAN，BAN之类数阵的基础形式都是这样，我就不多说了，枚举一下吧
(3,3,3,3)
(3,3,3,(3,3,3,3))
(3,3,3,1,2)
(3,3,3,3,3)
(3,3,3,3,3,3)
(3,3[1]2)
(3,(3,3[1]2)[1]2)
(3,3,3[1]2)
(3,3,3,3[1]2)
(3,3[1]3)
(3,3[1]4)
(3,3[1](3,3[1]3))
(3,3[1]3,3)
(3,3[1]3,3)
(3,3[1]3[1]2)
(3,3[1]3[1]2)
(3,3[2]2)
(3,3,3[2]2)
(3,3,3,3[2]2)
(3,3[1]3[2]2)
(3,3[1]3[1]3[2]2)
(3,3[2]3)
(3,3[2]4)
(3,3[2]3,3)
(3,3[2]3[1]3)
(3,3[2]3[2]3)
(3,3[3]3)
(3,3[4]3)
(3,3[5]3)
(3,3[1,2]2)
(3,3[1,2]3[1,2]2)
(3,3[1,2]3[1,2]3[1,2])
(3,3[1,2][1,2]2)
(3,3[1,2]3[1,2]3[1,2])
(3,3[1,2][1,2][1,2]2)
(3,3[2,2]2)
(3,3[3,2]2)
(3,3[1,3]2)
(3,3[1,4]2)
(3,3[1,1,2]2)
(3,3[3[1]2]2)
(3,3[4[1]2]2)
(3,3[3,3[1]2]2)
(3,3[3[1]3]2)
(3,3[3[1]3[1]3]2)
(3,3[3[2]2]2)
(3,3[3[3[2]2]2]2)
limit of PAN
首先基础的套娃规则不变
(m,n[1/2]2)=(3,n[1[1[...中间套n层]2]2]2)
/与OCF中的W有着相同性质，现在可能看不出来，后面再说
(m,n[1/2]3)与之前相似
(m,n[1/2]n[1/2]n[1/2]n[1/2]n...n个)=(m,n[1/2][1]2)
(m,n[1/2][1/2][1/2]...2)=(m,n[ 1 [1/2]2]2)
之后类似，每拥有n个相同的结构给上面单独空出来的那个数+1
之后进位规则相似
(m,n[1[1/2]3]2)=(m,n[n[n[n...[n]...n]n]2[1/2]3]2)
(m,n[1[1/2]4]2)
(m,n[1[1/2]4]2)
(m,n[1[1/2]4]2[n[n...[n]...n]n])=(m,n[1[1/2]1[1/2]2]2)
(m,n[1[1/2][1/2][1/2]2]...2)=(m,n[1[1[1/2]2]2]2)
我们将[1/2]层层放到内层，当嵌套了n层后，得到
(m,n[2/2]2)
用同样的方法嵌套得到
(m,n[a/2]2)
同样，可以有
(m,n[1,2/2]2)
(m,n[1[2]2/2]2)
(m,n[1[1/2]2/2]2)
(m,n[1[1[1/2]2/2]2/2]2)
当里面套了n层，得到[1/3]
接下来依然不变，得到[1/4]，[1/5]...
另外我们可以推出[n]=[n/1],所以(m,n[1/2]2)=(m,n[1[1[1[.../1]2/1]2/1]2/1]2)，与[1/3]相似，我们可以更好地理解[1/a]
我们用同样的法则套娃
(m,n[1/1,2]2)
(m,n[1/1[2]2]2)
(m,n[1/1[1/2]2]2)
(m,n[1/1[1/1[1/2]2]2]2)
当第二项开始套娃时，我们增加第三项
(m,n[1/1/2]2)
用同样的规则得出
(m,n[1/1[1/1[1/.../2]2/2]2/2]2)=(m,n[1/1/3]2)
接下来规则应该很熟悉了
(m,n[1/1/1[1/1/1[1/1/2]2]2]2)=(m,n[1/1/1/2]2)
接下来很熟悉了
我们不难发现，增加一个/相当于在OCF中将W后面的^符号增加一
分析:
(m,n[1/2]2)=e_0
(m,n[2/2]2)=e_1
(m,n[1,2/2]2)=e_w
(m,n[1[2]2/2]2)=e_(w^w)
(m,n[1[1/2]2/2]2)=e_e_0
我不会多元phi模式，所以FSO之后没phi的戏份
(m,n[1/3]2)=psi(W)=z_0
(m,n[1/4]2)=psi(W^2)=n_0
(m,n[1/1,2]2)=psi(W^w)=phi(w,0)
(m,n[1/1[1/2]2]2)psi(W^psi(W^w))=phi(phi(w,0),0)
(m,n[1/1/2]2)=psi(W^W)=FSO
可以看到逗号相当于w的作用，而斜杠相当于W的作用
(m,n[1/1/3]2)=psi(W^W^2)=ACO
(m,n[1/1/1,2]2)=psi(W^W^w)=SVO
(m,n[1/1/1/2]2)=psi(W^W^W)=LVO
(m,n[1/1/1/1,2]2)=psi(W^W^W^w)
(m,n[1/1/1/1/2]2)=psi(W^W^W^W)
(m,n[1/1/1/1/1/2]2)=psi(W^^5)
limit of SLAN=p(p_1(0))=psi(W^^w)=BHO
(m,n[1/1/1/1/1/1/1...1/2]2)=(m,n[1[1]_2 2]2)
如何理解下标数阵？将,视为一级分隔符，将/视为二级分隔符，[]折叠,组成的数阵，[]_2折叠/组成的数阵
(m,n[1[1]_2 1/2]2)看似怪异，实则和(m,n[1]1,2)有异曲同工之妙，只不过我打不出下标导致看起来诡异
(m,n[1[1]_2 1[1]_2 [1]_2...]2)=(m,n[1[2]_2 2]2)
也没什么新奇的
(m,n[1[1/2]_2 2]2)=(m,n[1[1[1[1[1[1[...]2]_2 2]2]_2 2]2]_2 2]2)
(m,n[1[1[1]_2 2]_2 2]2)=(m,n[1[1/1/1/1/...1/2]_2 2]2)
(m,n[1/_2 2]2)=(m,n[1[1[1[1[...]_2 2]_2 2]_2 2]_2 2]2)
(m,n[1/_2 1/2]2)=(m,n[1/_2 [1/_2 [1/_2 [1/_2 ...]]]]2)
(m,n[1/_2 1/_2 2]2)=(m,n[1/_2 [1/_2 [1/_2 [1/_2 ...]_2]_2]_2]2)
可以推出更高等级的斜杠
limit of SSLAN=psi(W_w)
我们可以将序列放在下标，序列的规则仍然是相似的
(m,n[1/_(1/2) 2]2)
(m,n[1/_(1/_(2)) 2]2)
与鸟之记号不同的是，我们添加一个斜杠折叠下标塔，而鸟之记号到下标塔就是极限了
(m,n[1//2]2)=(m,n[1/_(1/_((1/_(...))) 2]2)~~limit of Bird's Array Notation（鸟之记号）
双重斜杠也可以带下标，不细说了
(m,n[1///2]2)=(m,n[1//_(1//_((1//_(...))) 2]2)
......
limit of MSLAN=psi(psi_I(0))
到BRAN力
(m,n[1[1]_[{2}] 2]2)=(m,n[1///////...//2]2)
对应psi(psi_I(0))=psi(W_W_W_W_W_W_W..._W_W)
(m,n[1[1]_[{2}] 1[1]_[{2}] 1[1]_[{2}] ...]2)=(m,n[1[1]1/_[{2}] 2]2)~psi(psi_W_psi_I(0)(0))
(m,n[1[1]1/_[{2}] 1[1]/_[{2}] 1[1]/_[{2}] ...]2)=(m,n[1[1]2/_[{2}] 2]2)
(m,n[1[1]2/_[{2}] 1[1]2/_[{2}] 1[1]2/_[{2}] ...]2)=(m,n[1[1]3/_[{2}] 2]2)
(m,n[1[1]1,2/_[{2}] 2]2)
(m,n[1[1]1[1[1][1[1]1[1[1]1,2/2]2/_[{2}] 2]/2]2/_[{2}] 2]2)
(m,n[1[1]1/2/_[{2}] 2]2)
(m,n[1[1]1//2/_[{2}] 2]2)
(m,n[1[1][1[1]1/_[{2}] 2]/_[{2}] 2]2)
(m,n[1[1][1[1][1[1][1[1].../_[{2}] 2]/_[{2}] 2]/_[{2}] 2]/_[{2}] 2]2)=(m,n[1/_[{2}]+1 2]2)
(m,n[1/_[{2}]+1 1/_[{2}]+1 1/_[{2}]+1 ...]2)=(m,n[1[1]2/_[{2}]+1 2]2)
之后的规则与下标/数阵一样
当下标达到[1[1]_[{2}] 1[1]_[{2}] 1[1]_[{2}] ...]时，再次将下标进为[1[1]/_{2} 2]
之后下标的下标达到[1[1]_[{2}] 1[1]_[{2}] 1[1]_[{2}] ...]时，再次将下标的下标进为[1[1]/_{2} 2],
再次产生下标塔时，获得(m,n[1[1]//_[{2}] 2]2)~psi(psi_W_W_psi_I(0)(0))
(m,n[1[1]//////.../_[{2}] 2]2)=(m,n[1[2]_[{2}] 2]2)~psi(psi_I(2))
(m,n[1[2]//////.../_[{2}] 2]2)=(m,n[1[3]_[{2}] 2]2)~psi(psi_I(3))
(m,n[1[[1[1[...]_[{2}] 2]]_[{2}] 2]]_[{2}] 2]2)=(m,n[1{2}2]2)~psi(I)
(m,n[1{2}1/2]2)=(m,n[1{2}1[1{2}1[1{2}2]2]2]2)~psi(I^W)
(m,n[1{2}1{2}2]2)=(m,n[1{2}1[1{2}1[1{2}2]_[{2}] 2]_[{2}] 2]2)~psi(I^I)
(m,n[1{2}1{2}1{2}1{2}...1{2}2]2)~psi(e_I+1)=JO=(m,n[1[1]_/_{2} 2]2)
(m,n[1/_{2} 2]2)=(m,n[1[1[1[1[...]_/_{2} 2]_/_{2} 2]_/_{2} 2]_/_{2} 2]2)
(m,n[1/_{2} 1/_{2} 1/_{2} 1/_{2}...1/_{2} 2]2)~psi(psi_W_I+2(0))=(m,n[1[1]_/_[{2}]+1 2]2)
接下来又是相似的操作
(m,n[1[1]_/_1{2}1{2}1{2}1{2}...1{2}2 2]2)~psi(psi_W_psi_W_I+1(0))
出现下标塔时增加/
(m,n[1//_1{2} 2]2)
(m,n[1///////...//_1{2} 2]2)=(m,n[1[1]_1{2}_2 2]2)=psi(psi_I_2(0))
(m,n[1[1]_/////...//_1{2}_2 2]2)=(m,n[1[2]_1{2}_2 2]2)
(m,n[1[1[1[...]_1{2}_2 2]_1{2}_2 2]_1{2}_2 2]2)=(m,n[1{2}_2 2]2)
刚才可以看作{2}_1升级成{2}_2的过程，之后过程相似
(m,n[1{2}_1,2 2]2)~psi(I_w)~limit of Hyperfactorial Array Notation（超阶乘阵）
(m,n[1{2}_[1{2}_[1{2}_... 2] 2] 2]2)=(m,n[1{2}_/ 2]2)
(m,n[1{2}_[1{2}_[1{2}_... 2]_1{2} 2]_1{2} 2]_1{2} 2)=(m,n[1{2}{2}2]2)=psi(I_I)
(m,n[1{2}{2}{2}{2}{2}{2}...{2}{2}{2}2]2)=psi(psi_I(1,0)(0))
此时我们对比之前(m,n[1///////...//2]2)=psi(phi(1,0))
用同样的方法构建{3}，{4}，{n}，规则和从/到{2}一样,w
从M到N有一个m-I和M-M函数，所以后面我不会分析了，从{3}的下标塔到{4}的指数塔应该是只能相当于从M-I(1,0)到M-M(1,0)的指数塔，主要是我不会这以上的OCF了
其实可以继续拓展的，但是我连这上的记号都不清楚估计也弄不出太强的东西
limit=(n,n[n{n}n]n)，强度不清楚,肯定高于psi(psi_M-I(1,0)(0))，肯定弱于psi(K^w)
希望有大佬分析一下这个lj的极限