查看“︁PSS Hydra”︁的源代码

'''PSS Hydra(Pair Sequence System Hydra)'''， 是一种Hydra型[[序数记号]]，其行为和[[BO]]之前的[[序数坍缩函数#BOCF|BOCF]]类似。

== 定义 ==

=== 合法表达式 ===
PSS Hydra 的表达式由<math>\psi^H_n(n\in\N)</math><ref>PSS Hydra 的定义中使用的是<math>\psi_n</math>，这里为了和OCF区分，添加了上标H。</ref>，<math>+</math>，<math>0</math>和括号组成。在使用时，<math>\psi^H_n</math>通常简写为<math>pn</math>。

PSS Hydra的合法表达式可以按以下的方式递归定义：

* <math>0</math>为合法表达式，其等级为1；
* 若<math>n</math>为正整数，<math>A</math>为等级<math>\le n+1</math>的合法表达式，则<math>\psi^H_n(A)</math>为合法表达式，其等级为<math>n</math>；
* 若<math>A,B</math>分别为等级为<math>m,n</math>的合法表达式，则<math>A+B</math>也为合法表达式，其等级为<math>\max\{m,n\}</math>。

一个PSS Hydra的合法表达式对应一个小于<math>\omega^{CK}_1</math>的序数，当且仅当其等级为1。

=== 展开 ===

* 若<math>P=0</math>，则其对应序数0；
* 若<math>P=\#+\psi^H_1(0)</math>，则<math>P</math>对应一个后继序数，其前驱为<math>P'=\#</math>；
* 若<math>P=\#_1(\psi^H_k(\#_2+\psi^H_1(0)))</math>，则<math>P[n]=\#_1(\psi^H_k(\#_2)+\psi^H_k(\#_2)+\cdots+\psi^H_k(\#_2))</math>，其中<math>\psi^H_k(\#_2)</math>出现n次；
* 若<math>P=\#_1(\psi^H_k(\#_2(\psi^H_{k+1}(0))))</math>，<math>\#_2</math>不包含<math>\psi^H_k</math>，则<math>P[n]=\#_1(h^n(0))</math>，其中<math>h(x)=\psi^H_k(\#_2(x))</math>。

== 小知识 ==
PSS Hydra名字中的'''“PSS”'''，源于其与'''双行BMS'''的互译。互译规则如下：

对于一个PSS Hydra表达式：
# 从左往右，记录每个<math>\psi^H_{a_i}(i=1,2,\cdots,n)</math>的下标<math>a_i</math>；
# 从左往右，记录每个<math>\psi^H_{a_i}(i=1,2,\cdots,n)</math>的净括号层数(即它左侧的左括号“(”字符个数减去右括号“)”字符个数)<math>b_i</math>；
# 这个PSS Hydra表达式对应的BMS为<math>(b_1,a_1-1)(b_2,a_2-1)\cdots(b_n,a_n-1)</math>。

对于一个双行BMS表达式：
# 取出所有形如<math>(0,k)</math>的列。如果至少取出了2个，在所有这样的列左边添加一个加号，首列除外；
# 将每个<math>(0,k)</math>替换为<math>\psi^H_{k+1}(</math>。接下来往右移动直到遇见第一个加号，在加号左侧添加一个右括号<math>)</math>，如果右边没有加号了，则改为在表达式末尾添加；
# 如果有剩余的双行BMS表达式，将所有第1行的元素减去1，并回到第1步；
# 如果没有剩余的双行BMS表达式，找到所有形如<math>\psi^H_k()</math>的空括号，并补上0。

[[分类:记号]]