Функция с SUCC
У меня есть некоторые проблемы с этим упражнением
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 .
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 + _
(заполнить пробелы).