Введение в теорию программирования. Функциональный подход

         

Сформулируйте формальную постановку задачи, запишите


Сформулируйте формальную постановку задачи, запишите правила вывода и реализуйте программу на SML в соответствии с вариантом исполнения.
Реализовав необходимые инструкции КАМ (Fst, Snd, "<", ">", e, L, " ' ", car, cdr, push, swap, cons, app, cur, quote), после преобразования в ламбда-выражение и КАМ-код, провести максимально возможное число шагов преобразования кода и при возможности вычислить значение терма:
  1. 4!
  2. 1+2+3+4


Содержание раздела