一个合法的表达式写作(0,α,β,γ,……)其中α,β,γ,……可以是满足规则的记号极限之下的任意序数。
(并不确定规则完不完善，如有bug会改)
前置要求：
1,首项为零。
2,每相邻两个后继序数之差小于等于一。
　　i 若后继序数内部不存在极限序数(如果是多项式要拆解成单项式分开来看)，则按照自然数运算规则确定差。
　　ii 若其内部存在极限序数则分离为单项式后删除极限序数并确定差。
展开规则：
1,若末项为后继序数且任意项＜ω，则按PrSS展开。
2,若末项为后继序数且存在位于坏部内的某项(后继序数)＞ω，则拆解为单项式后删去极限序数的部分后按PrSS展开，展开完毕后代回极限序数。
3,若末项为极限序数则按确定的基本列展开(具体怎么展开可以看实例)
ω~ε_0的基本列选取规则(并不算太完善，所以也可以不用看这条规则去抗展开实例)
将表达式末项写作PrSS的形式，向前找到第一个比自身小的项(坏根)，将基本列写作每一项均为PrSS的形式，其中前者在表达式末尾接上坏根(若两项之差不满足规则则尽量使表达式大的同时使他符合规则)
注：是不动点进制(只是为了分析的时候更方便对应上OCF，即：0 ω 0 1(1,0)=ψ(Ω+ψ(Ω))，0 ω 0 1(0,(0,1))=ψ(Ω+ψ(Ω+ψ(Ω))) 直到0 ω 0 1=ψ(Ω2))