recursion - SUCC 的功能

Question

我对这个练习有一些问题

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 语言，但没有来自 Google 的答案。

Answer 1

通过匹配的案例，以人类可读的符号书写，

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 + _（请填写空白）。