Команды для вычисления рекурсивного вызова функции | MetodPro.ru

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

Команды для вычисления рекурсивного вызова функции


DUM  и RAP

При вычислении рекурсивных функций необходимо, чтобы их определения вычислялись в контексте, включающем их собственные значения. Для этого можно создать формальное окружение, с последующей заменой незавершенных частей окружения на значения определений. Таким образом, в каждое замыкание, создаваемое при вычислении определений функций, будет включаться формальное окружение. После замены незавершенной части это окружение станет циклическим.

Команда DUM создает формальную вычислительную обстановку, первым подсписком которой является не завершенное значение w.

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

s e (dum.c) d -> s (w.e) c d

Команда RAP практически тождественна команде AP, но в ней используется функция завершения, заменяющая символ w и формирующая циклическое окружение.

((c’.e’) v. s) (w.e) (rap.c) d -> ( ) Complete(e’,v)  c’ (sec.d)

В момент применения команды RAP замыкание всегда имеет вид e’=(w.e). Таким образом, замыкание в вершине стека содержит окружение, тождественное окружению в текущий момент времени.



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

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