什么是链式箭号表示法*
链式箭号表示法(英語:Chained arrow notation),是康威及盖伊将上箭号表示法推广之后而成的箭号表示法。
链式箭号表示法的定义*
-
a→b=a×b
-
a→b→c=a↑……↑(c个↑)b(即为上箭号表示法,上箭号表示法定义:a↑b=a^b,a↑……↑(c个↑)b=a↑……↑((c-1)个↑)a↑……↑((c-1)个↑)a↑……↑((c-1)个↑)……↑……↑((c-1)个↑)a(这里出现了b个a))
-
a→…→b→1=a→…→b(当最后一项为1时,可以直接忽略)
-
a→…→b→1→c=a→…→b
-
a→…→b→(c+1)→(d+1)=a→…→b→(a→…→b→c→(d+1))→d
*摘自https://googology.wikia.org/zh/wiki/%E4%B8%8A%E7%AE%AD%E8%99%9F%E8%A1%A8%E7%A4%BA%E6%B3%95