小编Swa*_*ddy的帖子

这是一个后续问题:仅使用递增,循环,赋值,零的减法运算

我们只允许使用以下操作:

1. incr(x) - 一旦调用此函数,它将x + 1分配给x
2. assign(x,y) - 此函数将y的值赋给x(x = y)
3. 零(x) - 此函数将0分配给x(x = 0)
4. 循环X {} - 括号内的操作将执行X次

例如,添加可以如下实现:

add(x, y) {
    loop x
        { y = incr(y) }
    return y
}

如何使用这四个操作实现关系运算符？关系操作是:

1. eq(x,y) - x是否等于y？
2. lt(x,y) - x小于y吗？
3. gt(x,y) - x是否大于y？

我们也有他们的对立面:

1. ne(x,y) - x不等于y吗？
2. gte(x,y) - x是否大于或等于y？
3. lte(x,y) - x是否小于或等于y？

任何帮助将不胜感激.