Структурно - операционная семантика. Структурно - операционная семантика языка Exp. | MetodPro.ru

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

Структурно - операционная семантика. Структурно - операционная семантика языка Exp.


4) Структурно-операционная семантика. Структурно – операционная семантика языка Exp.
В структурно-операционной(вычислительной) семантике смысл программы задается последовательностью шагов вычислений (шаги абстрактно позволяют рассматривать поведение программы)
Структурно-операционная семантика языка Exp

1)    Правило 1
______________________
n op n’ -> Ap(opNum,n,n’)

2)    Правило 2L
___________e->e’’__________
            e op e’ -> e’’ op e’

3)    Правило 2R
___________e’->e’’__________
            e op e’ -> e op e’’

Содержит информацию о последовательности шагов вычисления. Нужно знать в какой последовательности применяются операции.
В вычислительной семантике используются отношения одного шага вычислений, которые обозначаются одиночной стрелкой. Все вычисления разбиваются на последовательности шагов.
e ? e’ обозначает что выражение e преобразуется в выражение e’



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

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