:::定义.康威链式箭号表示法的长度定义如下：如果两个康威链代表相同的整数，那么就说它们是等价的。下面四个规则说明如何用康威链表示整数，其中formula_1和formula_2是正整数，formula_3是一个较短的康威链：第四条规则可以以递回关系式列出，避免省略号的出现：上面的四条规则可用来定义所有的康威链。例如长度为3的康威链，利用第四条规则，基本上长度仍然一样，但formula_1和formula_2会是递减的，当递减到1时，就可以利用第三条规则来使长度缩短，使得它可利用第二条规则来计算出