Функция с SUCC - PullRequest
Новая
       24

Функция с SUCC

0 голосов
/ 02 июля 2018

У меня есть некоторые проблемы с этим упражнением 

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 Ответ

0 голосов
/ 02 июля 2018

Исходя из подходящих случаев, записывая в удобочитаемой форме, 

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 + _ (заполните пробелы).

...