DcN
来自Googology Wiki
更多操作
DcN,是318`4创造的便于打字的记号,主要用于写FOS中作为序数的项,几乎不可能良定义,主要通过枚举列表来主观推算定义。DcN的极限是,Y_cpper将其扩展到,现在一般在之后使用这个扩展。DcN的所有符号都集中在电脑键盘左上方的一小片区域,qwerty13456789,456789使用频率很低,Veblen记号需要随时要输入括号下标希腊字母,1-Y则有比DcN更长的常见表达式,所以DcN便于打字,是专为FOS中常见序数设计的记号;但因为可读性差,DcN一直没能流传开来。
1-Y不必多说,是Yukito在2019年创造的序列记号,首次引入山脉图,在Y(1,3)之前有非常优秀的性质,因此也常用于表达FOS中作为项的序数。不过为简便,写1-Y表达式时通常省略Y( )外壳和逗号,超过10的数字用拉丁字母表示,超过36则无写法。
在研究FOS的定义、构造原理时,使用1-Y的情况更多,因为1-Y的山脉结构和FOS中项内部的山脉结构类似;而在研究FOS的分析、强度形成原理时,为简便起见,使用DcN更多。在阅读FOS的枚举列表之前,请务必将本文的枚举列表熟透于心中,否则用Veblen记号或OCF写FOS表达式费时费力。
| 序数(十进制+Cantor记号+Veblen记号+BOCF) | DcN | 1-Y |
|---|---|---|
| 0 | [空序列] | |
| 1 | 1 | |
| 11 | 11 | |
| 111 | 111 | |
| w | 12 | |
| 1w | 121 | |
| 11w | 1211 | |
| w1 | 1212 | |
| 1w1 | 12121 | |
| w11 | 121212 | |
| 1w11 | 1212121 | |
| ww | 122 | |
| 1ww | 1221 | |
| w1ww | 12212 | |
| 1w1ww | 122121 | |
| w11ww | 1221212 | |
| 1w11ww | 12212121 | |
| w111ww | 122121212 | |
| ww1 | 122122 | |
| w1ww1 | 12212212 | |
| w11ww1 | 1221221212 | |
| ww11 | 122122122 | |
| www | 1222 | |
| w1www | 122212 | |
| ww1www | 1222122 | |
| 1ww1www | 12221221 | |
| w1ww1www | 122212212 | |
| 1w1ww1www | 1222122121 | |
| w11ww1www | 12221221212 | |
| w1ww11www | 122212212212 | |
| 1w11ww11www | 122212212212121 | |
| www1 | 12221222 | |
| wwww | 12222 | |
| wwwww | 122222 | |
| wtw | 123 | |
| 1wtw | 1231 | |
| w1wtw | 12312 | |
| w11wtw | 1231212 | |
| ww1wtw | 123122 | |
| w1tw | 123123 | |
| ww1w1tw | 123123122 | |
| w11tw | 123123123 | |
| wt1w | 1232 | |
| ww1wt1w | 1232122 | |
| wtw1wt1w | 1232123 | |
| w1tw1wt1w | 1232123123 | |
| wtw1w1t1w | 12321232123 | |
| w1tw1w1t1w | 12321232123123 | |
| w11t1w | 123212321232 | |
| wt11w | 12322 | |
| wt111w | 123222 | |
| wtw1 | 12323 | |
| wt1w1 | 123232 | |
| wtw11wt1w1 | 12323212323 | |
| w1tw11wt1w1 | 1232321232312323 | |
| w1tw11w1t1w1 | 1232321232321232312323 | |
| w1tw1w1t1w1w1tw11w1t1w1 | 123232123232123231232312321232123123 | |
| wt11w1 | 1232322 | |
| wt1w11wt11w1 | 1232322123232 | |
| wtw11 | 1232323 | |
| wtw111wt1w11 | 123232321232323 | |
| wtw111 | 123232323 | |
| wtww | 1233 | |
| wtw1ww1wt1w1ww | 1233232123323 | |
| wtww1 | 1233233 | |
| wtwww | 12333 | |
| wtwtw | 1234 | |
| w1twtw1w1t1wtw | 123421234212341234 | |
| w1tw1tw1w1t1w1tw | 123423421234234212342341234234 | |
| w1tw1tw11w1t1w1tw1 | 1234342343421234342343421234342343412343423434 | |
| w1tw1tw11w1tw1t1w1 | 123434323434312343432343431234342343412343423434 | |
| w1tw1tw11w1t1w1t1w1 | 12343432343432123434323434321234342343412343423434 | |
| wtw11t1w1 | 1234343234343234343 | |
| wtwt11w1 | 12343433 | |
| wtwtw11 | 12343434 | |
| wtwtww | 12344 | |
| wtwtwtw | 12345 | |
| wtwtwtwtw | 123456 | |
| e | 124
|