查看“︁长初等序列”︁的源代码

长初等序列(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。