@古者 @增量游戏君 @bugvz @紫然茗 @rationalman

如果不是，那怎样拓展才容易理解他们之间的关系?

你说的这些大概没一个对的

简单看了下你写的
M(1,0)=2 1-2-2
M(1;0)=2-2 1-2-2
至于你说的M(1;@(1,0))连2-2-2都摸不到

这样理解:
2 1-2是以不可达来进阶。
I(1，0)是I_n不可达。I(2，0)是I(1，n)不可达到，输出I(1，n)的折叠层次。
I(1，0，0)是I(n，0)不可达到。
I的层次由M折叠，M是2-2。
M_n不可达到的是M-I(1，0)，然后达不到m-I(2，0)，直到不可达到的套娃还是达不到的，才是M(1，0)，M是以马洛来套。
M(1，n)形成驻集，才是M(2，0)。
M(n，0)形成驻集，才是M(1，0，0)。
接着取驻集操作封闭了，才到达2-2-2。
接着取2-2-2集封闭，就是2-2-2-2。
接着有2-2-2-2-2，2-2-2-2-2-2，…，可以有ω个2-，2-2个2-，2-不动点，然后有2-不可达，2-马洛，2-的2-不动点点，还有不可达点点，马洛点点，不动点点点，不动点点点点，…
(2-)^(1，0)就是折叠这些套娃的。
而K是折叠(2-)^()的套娃。

你是不是这样算的，一般的有ψ(ψ_I(1,0)(0))=ψ(I(1,0))
ψ(ψ_I(1,0)(I(1,0)^k))=ψ(I(k+1,0))
这样合成的大数会小很多

这样理解吧。
序数X的递归成ε序数形式，在下一层次的序数表示就是ψ_X+(0)，X递归成ζ序数形式时，就是X+，递归成η序数形式时，就是X+^2。
比如不可达基数I和2-不可达基数I(1，0)。
a→I_a就是ψ_I(1，0)(0)。
a是第a个a→I_a就是I(1，0)。
a→I_a的三重不动点就是I(1，0)^2。

重新看了一下，这个M跟OCF没什么关系了，只能说是一个非递归记号,
M(1,0)=2 1-2-2
M(2,0)=2 1-2 1-2-2
M(1;0)=2-2 1-2-2
M(1;0;0)=2-2-2
M(1;0;1,0)=2 1-2-2-2
M(1;1;0)=2-2 1-2-2-2
M(2;0;0)=2-2-2 1-2-2-2
M(1;0;0;0)=2-2-2-2
K(1,0)=2 1-3
K(1;0)=2-2 1-3
K(1;1,0)=2 1-2-2 1-3
K(2;0)=2-2 1-2-2 1-3
K(1;0;0)=2-2-2 1-3
K(1;@(1,0))=(2-)^(1,0) 1-3

如果你只是想要一个非递归记号的话，用prss稍微改一下就能做到
1,2~Π2
1,2,1,2~2nd 2
1,2,2~2 1-2
1,2,2,1,2,2~2nd 2 1-2
1,2,2,2~2 1-2 1-2
1,2,3~2-2
1,2,3,2~2 1-2-2
1,2,3,2,3~2-2 1-2-2
1,2,3,3~2-2-2
1,2,3,3,2~2 1-2-2-2
1,2,3,3,2,3~2-2 1-2-2-2
1,2,3,3,2,3,3~2-2-2 1-2-2-2
1,2,3,3,3~2-2-2-2
1,2,3,4~Π3
1,2,3,4,2~2 1-3
1,2,3,4,2,3~2-2 1-3
1,2,3,4,2,3,3~2-2-2 1-3
1,2,3,4,2,3,4~3 1-3
1,2,3,4,3~2-3
1,2,3,4,3,2,3,4~3 1-2-3
1,2,3,4,3,2,3,4,3~2-3 1-2-3
1,2,3,4,3,3~2-2-3
1,2,3,4,3,4~3 2-3
1,2,3,4,4~3-3
1,2,3,4,5~Π4