|
递归定义x＜n＞y如下（这是一个正确的关联版本）：
x＜0＞y＝x+1；
x＜1＞0＝x；
x<2>0=0；
对于n>0和y>0，x<n>y=（x<n>（y-1））<n-1>x。
我们有：
x<1>y=（…（x<0>y）<0>y）。。。y） （y嵌套括号）=x+y；
x<2>y=（…（x<1>y）<1>y）。。。y） （y嵌套括号）=x*y；
x<3>y=（…（x<2>y）<2>y）。。。y） （y嵌套括号）=x^y；
x<4>y=（…（x<3>y）<3>y）。。。y） （y嵌套括号）=（…（（x^x）^x）^x） （a height-y自下而上的塔功率，非四分之一）=x^x^（y-1）。
...
| 