algorithm - 是否可以从这四个有限的功能中实现减量功能？

Question

我如何实现(如果可能的话)递减函数 dec(x){x--} 仅使用:

• 增量(x) [x++]
• 赋值(x,y) [x=y]
• 零(x)[x=0]
• loop(x) [运行循环内的任何内容 x 次]

我不能使用 for/while 循环或基本运算符，例如 +,-,/ -- 只能使用上述四个函数。

Answer 1

是的:只需编写一个带有差一“错误”的循环即可。从 1 数到 x，但保存从零开始的循环索引的前一个值。

dec(x):
    zero(y)
    loop(x) {
        assign(z, y)
        increment(y)
    }