Структура и интерпретация компьютерных программ

Теория: Процедуры и порождаемые ими процессы 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). Являются ли эти процессы итеративными или рекурсивными?