LDF | MetodPro.ru

Реклама на сайте

LDF


Значение функции представляется замыканием, состоящем из тела функции и контекста. В SECD машине эквивалентом контекста является вычислительная обстановка, то есть содержимое регистра e, а эквивалентом вычисляемого выражения управление c. Тогда в текущей момент времени замыкание представляется парой, состоящей из списка управления и вычислительной обстановки. Такая пара строится командой LDF.

Правила переходов для команды LDF:

s e (ldf c’.c) d-> ((c’.e).s) e c d

Созданное однажды замыкание не вычисляется немедленно, но находит свое место в вычислительной обстановке и может быть неоднократно вызвано командой LD при вызове соответствующей функции.

Например,

(0)   ((3 7)(А))    (ldf (ld (11) rtn) ld (0 1))   ()

(((ld (1 1) rtn)((3 7)(A)))0) ((3 7)(A)) (ld (0 1)) ()



Методические пособия

  • Системы автоматизированного проектирования
  • Социология молодёжи
  • Общая социология
  • Криптография
  • Проектирование трансляторов
  • Компьютерная графика
  • Моделирование систем
  • Информационная безопасность
  • Теория вычислительных процессов
  • Логические основы искусственного интелекта
  • Проектирование распределённых информационных систем