Окружение переменных. Отношение => для языка Exp2. Естественная семантика языка Exp2. | MetodPro.ru

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

Окружение переменных. Отношение => для языка Exp2. Естественная семантика языка Exp2.


5) Окружение переменных. Отношение => для языка Exp2. Естественная семантика
Абстрактный синтаксис языка Exp2
1) Синтаксические категории
1)еэ Exp2 2)opэ Op 3)nэ Num 4)xэ Var
2) Определения
1)op ::= + | - | * | div 2)e ::= n | x | e’ op e’’

Окружение из переменных
(environment)
• Окружение из переменных представим функцией p(rho) , отображающей множество переменных Var на множество значений Num:
     p : Var -> Num.
• Через p (x) будем обозначать значение переменной x.
• Обозначим через ENV – множество всех окружений.
Отношение => для языка Exp2
• Имеет тип:
    => : ENV -> Exp2 -> Num
• Запись
     ?|- e ==> v
читается так: «В окружении p выражение e даст результат v»
Естественная семантика языка 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`)





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

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