Абстрактный синтаксис языка Exp4
- Главная
- Разное
- Дизайн
- Бизнес и предпринимательство
- Аналитика
- Образование
- Развлечения
- Красота и здоровье
- Финансы
- Государство
- Путешествия
- Спорт
- Недвижимость
- Армия
- Графика
- Культурология
- Еда и кулинария
- Лингвистика
- Английский язык
- Астрономия
- Алгебра
- Биология
- География
- Детские презентации
- Информатика
- История
- Литература
- Маркетинг
- Математика
- Медицина
- Менеджмент
- Музыка
- МХК
- Немецкий язык
- ОБЖ
- Обществознание
- Окружающий мир
- Педагогика
- Русский язык
- Технология
- Физика
- Философия
- Химия
- Шаблоны, картинки для презентаций
- Экология
- Экономика
- Юриспруденция
Синтаксические категории Exp4 презентация
Содержание
- 1. Синтаксические категории Exp4
- 2. Отношение ⇒ языка Exp4 Оно имеет две
- 3. Естественная семантика языка Exp4 Правило CR
- 4. Естественная семантика языка Exp4 (продолжение) Правило IfR
- 5. Семантика отношения ⇒B Правило CR
- 6. Семантика отношения ⇒B (продолжение) Правило BOpR
- 7. Определение функций Введем новую синтаксическую категорию -
- 8. Рекурсивные функции Определим функцию, вычисляющую факториал: fact(x)
Слайд 1Синтаксические категории
е ∈ Exp4
bе ∈ BExp
x ∈ Var
bx ∈ BVar
op ∈ Op
bop ∈ BOp
n ∈ Num
2)Определения
op ::= + | - | * | div
bop ::=
And | Or
e ::= x | n | e/ op e// | let x=e’ in e” |
if be then e/ else e//
be ::= bx | T | F | Not be/| Equal (e,e/)
| be/ bop be//
Слайд 2Отношение ⇒ языка Exp4
Оно имеет две составляющие:
арифметическую ρ├ e =>А v
и булеву ρ├ be =>B bv
Окружение в языке Exp4 определяется объединением двух функций ρ:Var∪BVar → Num∪{T,F}
Таким образом значения в окружении становятся типированными: ρ(x) ∈ Num, ρ(bx) ∈ {T,F}.
Типы отношений: =>А : ENV -> Exp4 -> Num =>B : ENV -> Bexp -> {T,F}.
Окружение в языке Exp4 определяется объединением двух функций ρ:Var∪BVar → Num∪{T,F}
Таким образом значения в окружении становятся типированными: ρ(x) ∈ Num, ρ(bx) ∈ {T,F}.
Типы отношений: =>А : ENV -> Exp4 -> Num =>B : ENV -> Bexp -> {T,F}.
Слайд 3Естественная семантика
языка Exp4
Правило CR
Правило VarR
Правило OpR
Правило LocR
ρ├ n ⇒A n
ρ├ e
⇒A v
ρ[x/v]├ e’ ⇒A v’
ρ├ let x = e in e’ ⇒A v’
ρ├ x ⇒A ρ(x)
ρ├ e ⇒A v
ρ├ e’ ⇒A v’
ρ├ e op e’ ⇒A Ap(opNum, v, v’)
Слайд 4Естественная семантика
языка Exp4 (продолжение)
Правило IfR
ρ├ be ⇒B T
ρ├ e ⇒A v
ρ├
if be Then e Else e’ ⇒A v
ρ├ be ⇒B F
ρ├ e’ ⇒A v’
ρ├ if be Then e Else e’ ⇒A v’
Слайд 5Семантика отношения ⇒B
Правило CR
Правило VarR
Правило EqR
ρ├ T ⇒B T
ρ├ bx
⇒B ρ(bx)
ρ├ e ⇒A v
ρ├ e’ ⇒A v
ρ├ Equal(e,e’) ⇒B T
ρ├ F ⇒B F
ρ├ e ⇒A v
ρ├ e’ ⇒A v’
ρ├ Equal(e,e’) ⇒B F
[v =/= v’]
Слайд 6Семантика отношения ⇒B (продолжение)
Правило BOpR
Правило NotR
ρ├ be ⇒B bv
ρ├ be bop
be’ ⇒B Ap(bop, bv, bv’)
ρ├ be’ ⇒B bv’
ρ├ be ⇒B T
ρ├ Not be ⇒B F
ρ├ be ⇒B F
ρ├ Not be ⇒B T
Слайд 7Определение функций
Введем новую синтаксическую категорию - имена функций. С этими именами
будем связывать тела функций и таким образом делать определения.
Например,
square(x) <= x*x.
Такое определение будем называть декларацией.
Смысл выражения square(3) можно сформулировать так: «Вычислить x*x в окружении, где с x связано 3» . Обобщённо в форме правила: Если задана декларация f(x)<=e, то применимо правило:
Например,
square(x) <= x*x.
Такое определение будем называть декларацией.
Смысл выражения square(3) можно сформулировать так: «Вычислить x*x в окружении, где с x связано 3» . Обобщённо в форме правила: Если задана декларация f(x)<=e, то применимо правило:
ρ├ e’ ⇒ v’
ρ[x/v’]├ e ⇒ v
ρ├ f(e’) ⇒ v
Слайд 8Рекурсивные функции
Определим функцию, вычисляющую факториал:
fact(x)
ρ[x/2]├ If Equal(x,0)Then 1 Else x*fact(x-1)⇒ 2* Fact(1)=> ρ[x/1]├ 2*If Equal(x,0)Then 1 Else x*fact(x-1)⇒ 2 * 1 * fact(0)=> ρ[x/0]├ 2*1*If Equal(x,0)Then 1 Else x*fact(x-1)⇒ 2 * 1 * 1 => 2
