康威链式记号:
首先,定义“链”为正整数由“→”连接而成的有限长字符串,链中正整数和正整数、箭头和箭头都不能相邻,链的两端必须是正整数。
一重链化为乘方运算:
a→b = a^b
链的延长和缩短:
X = X→1
【链的末尾可以任意的添加和去掉“→1”,用数阵的观点来看,1就是康威链的默认值】
X→1→Y = X
【“→1”和它右边的部分不改变链整体代表的数,也就是“见一去右”】
链的复制:
a' = a+1 ; b' = b+1
(X)代表X的计算结果
X→a'→b' = X→(X→a→b')→b
【我将右端点左边的正整数称作“计数器”,每将右端点减一,就可以把计数器减一后的链整体复制到计数器的位置,重复这种操作直至计数器变为一】