长初等序列

长初等序列(Long Primitive Sequence System,LPrSS)，是一种Worm型序数记号。它是PrSS的一种扩展。

定义

合法式

LPrSS的合法式是1开头的自然数序列，即

${\mathrm{s}}_{\mathrm{1}},{\mathrm{s}}_{\mathrm{2}},{\mathrm{s}}_{\mathrm{3}},\mathrm{\cdots },{\mathrm{s}}_{\mathrm{n}}\mathrm{|}\mathrm{n},{\mathrm{s}}_{\mathrm{1}},{\mathrm{s}}_{\mathrm{2}},{\mathrm{s}}_{\mathrm{3}},\mathrm{\cdots },{\mathrm{s}}_{\mathrm{n}}\mathrm{\in }\mathbb{\mathbb{N}}$，且满足${\mathrm{s}}_{\mathrm{1}}\mathrm{=}\mathrm{1}$

例：

• 1,7,3,9是一个合法的LPrSS表达式
• 3,1,8,4不是一个合法的LPrSS表达式，因为$s_1=3\ne 1$
• 1,2,3,😰不是一个合法的LPrSS表达式，因为$s_4=$😰不是自然数。

结构

LPrSS的合法式分为零表达式、后继表达式和极限表达式。

零表达式是空序列，即满足$n=0$的表达式。

后继表达式即满足$n\ne 0$，且$s_n=1$的表达式。通俗的说，是末项为1的非空序列。比如说，$\mathrm{L}\mathrm{P}\mathrm{r}\mathrm{S}\mathrm{S}\mathrm{(}\mathrm{1},\mathrm{3},\mathrm{4},\mathrm{1}\mathrm{)}$就是一个后继表达式。

极限表达式即满足$n\ne 0$，且$s_n\ne 1$的表达式。通俗的说，是末项非1的非空序列。比如说，$\mathrm{L}\mathrm{P}\mathrm{r}\mathrm{S}\mathrm{S}\mathrm{(}\mathrm{1},\mathrm{4},\mathrm{6},\mathrm{4}\mathrm{)}$就是一个极限表达式。

对于LPrSS的极限表达式$\mathrm{S}\mathrm{=}\mathrm{(}{\mathrm{s}}_{\mathrm{1}},{\mathrm{s}}_{\mathrm{2}},{\mathrm{s}}_{\mathrm{3}},\mathrm{\cdots },{\mathrm{s}}_{\mathrm{n}\mathrm{-}\mathrm{1}},{\mathrm{s}}_{\mathrm{n}}\mathrm{)}$,令$\mathrm{k}\mathrm{=}\mathrm{m}\mathrm{a}\mathrm{x}\mathrm{\{}\mathrm{1}\mathrm{\le }\mathrm{k}<\mathrm{n}\mathrm{|}{\mathrm{s}}_{\mathrm{k}}<{\mathrm{s}}_{\mathrm{n}}\mathrm{\}}$,则坏根定义为$\mathrm{r}\mathrm{=}{\mathrm{s}}_{\mathrm{k}}$.

通俗的说，是最靠右的小于末项的项。注意到LPrSS的坏根选取和PrSS实际上完全相同。

坏部定义为$\mathrm{(}{\mathrm{s}}_{\mathrm{k}},{\mathrm{s}}_{\mathrm{k}\mathrm{+}\mathrm{1}},{\mathrm{s}}_{\mathrm{k}\mathrm{+}\mathrm{2}},\mathrm{\cdots }{\mathrm{s}}_{\mathrm{n}\mathrm{-}\mathrm{1}}\mathrm{)}$，坏部记作B

好部定义为$\mathrm{(}{\mathrm{s}}_{\mathrm{1}},{\mathrm{s}}_{\mathrm{2}},\mathrm{\cdots }{\mathrm{s}}_{\mathrm{k}\mathrm{-}\mathrm{1}}\mathrm{)}$,如果$\mathrm{k}\mathrm{=}\mathrm{1}$,则好部为空序列。好部记作G

通俗的说，坏部是坏根(含)到末项(不含)的部分。坏部最短为 1 项。好部是坏根之前的部分。实际上，好部，坏部的规则，LPrSS和PrSS也是一模一样的。区别在下面，

LPrSS的阶差定义为${\mathrm{s}}_{\mathrm{n}}\mathrm{-}{\mathrm{s}}_{\mathrm{k}}\mathrm{-}\mathrm{1}$.阶差记作d.

我们定义${\mathrm{B}}_{\mathrm{m}}\mathrm{=}\mathrm{(}{\mathrm{s}}_{\mathrm{k}}\mathrm{+}\mathrm{m}\mathrm{\times }\mathrm{d},{\mathrm{s}}_{\mathrm{k}\mathrm{+}\mathrm{1}}\mathrm{+}\mathrm{m}\mathrm{\times }\mathrm{d},{\mathrm{s}}_{\mathrm{k}\mathrm{+}\mathrm{2}}\mathrm{+}\mathrm{m}\mathrm{\times }\mathrm{d},\mathrm{\cdots },{\mathrm{s}}_{\mathrm{n}\mathrm{-}\mathrm{1}}\mathrm{+}\mathrm{m}\mathrm{\times }\mathrm{d}\mathrm{)}$.这里的B就是坏部的B。通俗的说，$B_m$就是对坏部的每一项都加上m倍的d。

展开

对于一个合法的 PrSS 表达式 $S=(s_1,s_2,\dots ,s_{n-1},s_n)$，其展开规则如下：

• 如果 $S$ 是零表达式，则 $S$ 代表序数 $0$.
• 如果 $S$ 是后继表达式，则其前驱是 $S^{\prime }=(s_1,s_2,\dots ,s_{n-1})$.
• 如果 $S$ 是极限表达式，则根据前文定义确定坏根，好部、坏部，阶差. 则其基本列的第 $t$ 项定义为 $\mathrm{S}\mathrm{[}\mathrm{t}\mathrm{]}\mathrm{=}\mathrm{(}\mathrm{G},\mathrm{B},{\mathrm{B}}_{\mathrm{1}},{\mathrm{B}}_{\mathrm{2}},\mathrm{\cdots }{\mathrm{B}}_{\mathrm{t}\mathrm{-}\mathrm{1}}\mathrm{)}$，其中 $t\in \mathbb{\mathbb{N}}$. 或者说 $S$ 的展开式为 $\mathrm{S}\mathrm{[}\mathrm{t}\mathrm{]}\mathrm{=}\mathrm{(}\mathrm{G},\mathrm{B},\underset{\mathrm{\omega }}{\underbrace{{\mathrm{B}}_{\mathrm{1}},{\mathrm{B}}_{\mathrm{2}},\mathrm{\cdots }}}\mathrm{)}$.