Процедуры и порождаемые ими процессы 1 — Структура и интерпретация компьютерных программ

Видео может быть заблокировано из-за расширений браузера. В статье вы найдете решение этой проблемы.

Попробуйте выполнить самостоятельно

Каждая из следующих двух процедур определяет способ сложения двух положительных целых чисел с помощью процедур inc, которая добавляет к своему аргументу 1, и dec, которая отнимает от своего аргумента 1.

(define (+ a b)
   (if (= a 0)
   b
   (inc (+ (dec a) b))))

(define (+ a b)
   (if (= a 0)
   b
   (+ (dec a) (inc b))))

Используя подстановочную модель, проиллюстрируйте процесс, порождаемый каждой из этих процедур, вычислив (+ 4 5). Являются ли эти процессы итеративными или рекурсивными?