基本定义
代表用n个函数(包括它自身,但不包括用它自身迭代的函数,例如RC函数、U函数或Ξ函数是可以的,在中,是不可以的)能表示出的最大值。里面所使用的函数可以被迭代,而且被看做一个函数。例如本来是两个函数,但在RC函数中,这样的迭代必须表示成。里面所使用的函数迭代次数不超过n,参数不超过n-1。
例:时函数可以为、、、或,但我们必须找出里面的最大值,因为定义里的“代表用n个函数能表示出的最大值”。
但是我们发现一个问题,等于几?我们只能使用一个函数,参数最大为0。这样我们很多函数的值都为0,这会导致我们的数字不够大,所以我们需要令。而且我们需要规定,当RC函数套用自身时,迭代次数不能超过。
例:展开计算不计数。
最后一步我们不能使用RC函数迭代,否则最后的结果是一个不确定的值。倒数第二步时,我们需要把第一层RC函数的参数计算成一个确定的值,这里记为x,那么下一步我们需要使用x个函数表示的最大值作为的结果。
高阶定义
定义一个函数扩展方法,我们知道(n个f)
然后或等于(n个f)。
同理。
我们可以一直这样做,直到。这个时候我们可以把f替换为c,即。这里f很像序数。那么只要是用幂次迭代的函数,都可以演变为的形式,类似BEAF、鸟之记号。