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