🗊Презентация Синтаксические категории 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 ::= + | - | * | 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//
Описание слайда:
Абстрактный синтаксис языка 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 определяется объединением двух функций ρ:VarBVar  Num{T,F} Таким образом значения в окружении становятся типированными: ρ(x)  Num, ρ(bx)  {T,F}. Типы отношений: =>А : ENV -> Exp4 -> Num =>B : ENV -> Bexp -> {T,F}.
Описание слайда:
Отношение  языка 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) <= x*x. Такое определение будем называть декларацией. Смысл выражения square(3) можно сформулировать так: «Вычислить x*x в окружении, где с x связано 3» . Обобщённо в форме правила: Если задана декларация f(x)<=e, то применимо правило:
Описание слайда:
Определение функций Введем новую синтаксическую категорию - имена функций. С этими именами будем связывать тела функций и таким образом делать определения. Например, square(x) <= x*x. Такое определение будем называть декларацией. Смысл выражения square(3) можно сформулировать так: «Вычислить x*x в окружении, где с x связано 3» . Обобщённо в форме правила: Если задана декларация f(x)<=e, то применимо правило:

Слайд 8


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

Скачать

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