Функция выполнения ? для абстрактной машины для языка While. | MetodPro.ru

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

Функция выполнения ? для абстрактной машины для языка While.


37) Функция выполнения М для абстрактной машины для языка While.

Смысл последовательности вычислений можно обобщить в виде частичной функции из множества State на то же множество State.
Определим ? :: Code -> (State (-> State), которая определяется как:

    ? s’ если <c, e, s> (* <e, e, s’>
 ?[c]s =    ?
    ?^, иначе



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

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