我们定义aG0 = G(a), aG(n+1) = ((((aGn)Gn)Gn)...Gn) (a层)
在aG$中,我们将a称为底数,将$称为数阵部分(其中$必须是数阵)
下面定义数阵:
1、自然数是数阵
2、若S和T是数阵,且S不是自然数,则ST是数阵
3、若N和K是数阵,则[N]_K是数阵,[N]也是数阵
接下来我们规定基础规则:
aGA[0]B = aGAaB (其中A是任意字符串,B是全部为‘]’或者下标‘]’的字符串或空串,下同)
aGA[$(n+1)]B = aGA[$(n)][$(n)][$(n)]...(a个)....[$(n)]B (其中$也是任意字符串)
接下来再定义下标数阵:
首先定义a×b = aaaa……aa (b个a连写),普通的没有下标的中括号可以视为[]_0
接下来aGA[$(n+1)]_kB = aGA([$(n)]_k×[0]_k)B
(这条规则写的这么奇怪纯粹是为了对标OCF,没有别的用意)
而当上面的规则处理出[0]_k时,进入以下流程:
1、在原数阵中找出最内层的包含[0]_k的下标为k的数阵,如果没有就将整个数阵部分套上[……]_(k-1),我们将找出的部分X……Y称作“迭代序列”
2、将X[0]_kY改写为XXX……X[0]_(k-1)Y……YYY(嵌套底数层)
3、流程结束
这个东西就是标准的Hydra(只不过写的方式有点猎奇,规则和流程结合),极限增长率[0]_[0]_......(嵌套下标)极限应该是EBO
无聊瞎整的活,不喜勿喷
在aG$中,我们将a称为底数,将$称为数阵部分(其中$必须是数阵)
下面定义数阵:
1、自然数是数阵
2、若S和T是数阵,且S不是自然数,则ST是数阵
3、若N和K是数阵,则[N]_K是数阵,[N]也是数阵
接下来我们规定基础规则:
aGA[0]B = aGAaB (其中A是任意字符串,B是全部为‘]’或者下标‘]’的字符串或空串,下同)
aGA[$(n+1)]B = aGA[$(n)][$(n)][$(n)]...(a个)....[$(n)]B (其中$也是任意字符串)
接下来再定义下标数阵:
首先定义a×b = aaaa……aa (b个a连写),普通的没有下标的中括号可以视为[]_0
接下来aGA[$(n+1)]_kB = aGA([$(n)]_k×[0]_k)B
(这条规则写的这么奇怪纯粹是为了对标OCF,没有别的用意)
而当上面的规则处理出[0]_k时,进入以下流程:
1、在原数阵中找出最内层的包含[0]_k的下标为k的数阵,如果没有就将整个数阵部分套上[……]_(k-1),我们将找出的部分X……Y称作“迭代序列”
2、将X[0]_kY改写为XXX……X[0]_(k-1)Y……YYY(嵌套底数层)
3、流程结束
这个东西就是标准的Hydra(只不过写的方式有点猎奇,规则和流程结合),极限增长率[0]_[0]_......(嵌套下标)极限应该是EBO
无聊瞎整的活,不喜勿喷