|
|
| (未显示4个用户的5个中间版本) |
| 第1行: |
第1行: |
| '''Hybrid Prss(HBprss 1.1)'''是一种[[Beklemishev's_Worm|Worm]]型[[序数记号]]。 | | '''Hybrid Prss(HBprss 1.1)'''是一种[[Beklemishev's_Worm|Worm]]型[[序数记号]]。目前Hybrid Prss已经被发现无穷降链。 |
|
| |
|
| === 定义 === | | === 定义 === |
| 一个'''合法的''' HBprss 表达式是以 1 开头的有限长[[序数#有限序数与超限序数|正整数]]序列,即形如 | | 一个'''合法的''' HBprss 表达式是以 1 开头的有限长[[序数#有限序数|正整数]]序列,即形如 |
|
| |
|
| <math>a_1,a_2,\cdots,a_n|n,a_1,a_2,\cdots,a_n\in\N,a_1=1</math> | | <math>a_1,a_2,\cdots,a_n|n,a_1,a_2,\cdots,a_n\in\N,a_1=1</math> |
| 第30行: |
第30行: |
| * <math>1,3=1,2,4,8,16,\cdots</math> | | * <math>1,3=1,2,4,8,16,\cdots</math> |
|
| |
|
| ==== 极限 ====
| |
| HBprss的极限表达式为 <math>1,\omega</math>. | | HBprss的极限表达式为 <math>1,\omega</math>. |
|
| |
|
| 第96行: |
第95行: |
|
| |
|
| | | |
| | |
| | {{默认排序:个人记号}} |
| [[分类:记号]] | | [[分类:记号]] |
Hybrid Prss(HBprss 1.1)是一种Worm型序数记号。目前Hybrid Prss已经被发现无穷降链。
定义
一个合法的 HBprss 表达式是以 1 开头的有限长正整数序列,即形如
的序列。
例如:和都是合法的 HBprss 表达式,而和不是。
展开方法
任意 HBprss 序列后加上一个新项 1 表示原序列对应的序数加一。
阶差序列
- 若阶差序列最后一项为 1,原式按照 PrSS 展开。
- 当阶差序列最后一项与其父项差距为1,则原式按照 LPrSS 规则展开。
- 当阶差序列最后一项 b+n 与其父项 b 差距为 n,继续取阶差序列直到阶差序列末项与父项差为 1,然后逐层按照 0-Y 展开。
特殊情况
当表达式形如 ,则展开为
如果第 项和次项差值值为 ,且序列第二项为 ,那么,下一项的阶差序列的值应该被限制在 以及之下。
特殊情况举例:
HBprss的极限表达式为 .
分析