recursion - SUCC功能

我对这个练习有些问题

COTO(0,y)=y
COTO(x+1,y)=SUCC(SUCC(COTO(x, SUCC(y)))

COTO (1,3); COTO (2,2); COTO (3,44) - ?

例如，我知道suc（2）=3，但我对这个问题仍然没有任何想法有人能帮忙吗它可能是lisp语言，但没有来自google的答案。

最佳答案

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

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