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