Проектирование интерпретатора | MetodPro.ru

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

Проектирование интерпретатора


В программе на языке РЛИ каждое подвыражение вычисляется в некотором окружении. Окружение можно представить в идее двух списков: список имен и список значений. Список значение имеет ту же структуру, что и список имен. Список имен представляет собой список из списков атомов, где каждый атом соответствует имени переменной.

Пример:

((A B X) (N M) (F N))

Номер подсписка соответствует уровню глобальности переменных.

Для приведенного списка имен список значений может иметь вид:

((A B X) (N M))

((1 (A B) -127) ((C D) 3))

В соответствии с денотационной семантикой языка РЛИ разработан эмулятор Eval. Если e – это правильное выражение, то функция eval будет выдавать в качестве результата значения этого выражения, вычисленное в некотором окружении. Если через e  обозначить правильное s-выражение, через n список имен, через v-список значений, то функция eval будет включать в себя 3 параметра eval(e,n,v).

Описание функции eval для конструкции языка РЛИ соответствует его денотационной семантике и в большинстве случаев очевидно.



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

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