长初等序列
来自Googology Wiki
更多操作
长初等序列(Long Primitive Sequence System)，是一种Worm型序数记号。它是PrSS的一种扩展。
定义
合法式
LPrSS的合法式是1开头的自然数序列，即 s_1,s_2,s_3,…,s_n|n,s_1,s_2,…,s_n∈N 且满足s_1=1 例： 1,7,3,9是一个合法的LPrSS表达式 3,1,8,4不是一个合法的LPrSS表达式，因为s_1=3≠1 1,2,3,😰不是一个合法的LPrSS表达式，因为s_4=😰不是自然数。
结构
LPrSS的合法式分为零表达式、后继表达式和极限表达式。 零表达式是空序列，即满足n=0的表达式。 后继表达式即满足n≠0，且s_n=1的表达式。通俗的说，是末项为1的非空序列。比如说，(1,3,4,1)就是一个后继表达式。 极限表达式即满足n≠0，且s_n≠1的表达式。通俗的说，是末项非1的非空序列。比如说，(1,4,6,4)就是一个极限表达式。 对于LPrSS的极限表达式S，它的坏根定义为：
我们把末项记为L。