这个练习我有一些问题
COTO(0,y)=y
COTO(x+1,y)=SUCC(SUCC(COTO(x, SUCC(y)))
COTO (1,3); COTO (2,2); COTO (3,44) - ?
例如,我知道 SUCC(2) = 3,但我对这个问题仍然没有任何想法。有人可以帮忙吗?可能是 LISP 语言,但谷歌没有答案。
最佳答案
按照匹配的情况,用人类可读的符号书写,
COTO (3,44) =(2)= 2 + COTO (2,45)
=(2)= 2 + 2 + COTO (1,46)
=(2)= 2 + 2 + 2 + COTO (0,47)
=(1)= 2 + 2 + 2 + 47
= 2*3 + (44+3)
因此一般来说,COTO (n,x) = _ * n + (x + _) = _ * n + _
(填空)。
关于recursion - 与 SUCC 的功能,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/51131179/