🗊 Презентация Синтаксические категории Exp4

Категория: Устройства и комплектующие
Нажмите для полного просмотра!
Синтаксические категории Exp4, слайд №1 Синтаксические категории Exp4, слайд №2 Синтаксические категории Exp4, слайд №3 Синтаксические категории Exp4, слайд №4 Синтаксические категории Exp4, слайд №5 Синтаксические категории Exp4, слайд №6 Синтаксические категории Exp4, слайд №7 Синтаксические категории Exp4, слайд №8
Скачать
Вы можете ознакомиться и скачать презентацию на тему Синтаксические категории Exp4. Доклад-сообщение содержит 8 слайдов. Презентации для любого класса можно скачать бесплатно. Если материал и наш сайт презентаций Mypresentation Вам понравились – поделитесь им с друзьями с помощью социальных кнопок и добавьте в закладки в своем браузере.

Слайды и текст этой презентации

Слайд 1


Абстрактный синтаксис языка Exp4 Синтаксические категории е  Exp4 bе  BExp x  Var bx  BVar op  Op bop  BOp n  Num 2)Определения op ::= + | - |...
Описание слайда:
Абстрактный синтаксис языка Exp4 Синтаксические категории е  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 определяется объединением...
Описание слайда:
Отношение  языка 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}.

Слайд 3


Естественная семантика языка Exp4 Правило CR Правило VarR Правило OpR Правило LocR
Описание слайда:
Естественная семантика языка Exp4 Правило CR Правило VarR Правило OpR Правило LocR

Слайд 4


Естественная семантика языка Exp4 (продолжение) Правило IfR
Описание слайда:
Естественная семантика языка Exp4 (продолжение) Правило IfR

Слайд 5


Семантика отношения B Правило CR Правило VarR Правило EqR
Описание слайда:
Семантика отношения B Правило CR Правило VarR Правило EqR

Слайд 6


Семантика отношения B (продолжение) Правило BOpR Правило NotR
Описание слайда:
Семантика отношения B (продолжение) Правило BOpR Правило NotR

Слайд 7


Определение функций Введем новую синтаксическую категорию - имена функций. С этими именами будем связывать тела функций и таким образом делать...
Описание слайда:
Определение функций Введем новую синтаксическую категорию - имена функций. С этими именами будем связывать тела функций и таким образом делать определения. Например, square(x)

Слайд 8


Рекурсивные функции Определим функцию, вычисляющую факториал: fact(x) ρ[x/1]├ 2*If Equal(x,0)Then 1 Else x*fact(x-1) 2 * 1 * fact(0)=> ρ[x/0]├...
Описание слайда:
Рекурсивные функции Определим функцию, вычисляющую факториал: fact(x) ρ[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

Скачать

Похожие презентации
Mypresentation.ru
Загрузить презентацию