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



Задание


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

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

  1. 4!
  2. 1+2+3+4




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