Абстрактный синтаксис языка Exp3. Естественная семантика языка Exp3. | MetodPro.ru

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

Абстрактный синтаксис языка Exp3. Естественная семантика языка Exp3.


6) Абстрактный синтаксис языка Exp3
1) Синтаксические категории
1)еэ Exp3 2)opэ Op 3)nэ Num 4)xэ Var
2) Определения
1)op ::= + | - | * | div 2)e ::= n | x | e’ op e’’ | let x=e’in e”
Естественная семантика языка Exp3
Правило CR
________
p |-  n => n
Правило VarR
________
p|- x => p(x)
Правило OpR
p|- e => v            p |- e` => v`
p|- e op e` => Ap(opNum, v, v`)
Правило LocR
P|- e => c            p[x/v] |- e`   => v`
P|- let x = e in e` => v`



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

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