IMP
- Главная
- Разное
- Дизайн
- Бизнес и предпринимательство
- Аналитика
- Образование
- Развлечения
- Красота и здоровье
- Финансы
- Государство
- Путешествия
- Спорт
- Недвижимость
- Армия
- Графика
- Культурология
- Еда и кулинария
- Лингвистика
- Английский язык
- Астрономия
- Алгебра
- Биология
- География
- Детские презентации
- Информатика
- История
- Литература
- Маркетинг
- Математика
- Медицина
- Менеджмент
- Музыка
- МХК
- Немецкий язык
- ОБЖ
- Обществознание
- Окружающий мир
- Педагогика
- Русский язык
- Технология
- Физика
- Философия
- Химия
- Шаблоны, картинки для презентаций
- Экология
- Экономика
- Юриспруденция
Часть II. Формальное описание языков программирования(Формальная спецификация формальных языков) презентация
Содержание
- 1. Часть II. Формальное описание языков программирования(Формальная спецификация формальных языков)
- 2. Атрибутная грамматика ::= .symtab
- 3. Декларации 1 ::= 1.tbl := .tbl
- 4. Возврат к .symtab ::= begin
- 5. Декларации ::= int .tbl
- 6. Операторы ::= .symtab :=
- 7. Операторы ::= := .symtab :=
- 8. Арифметические выражения 1 ::= |
- 9. Булевские выражения ::= true | false
- 10. Вызов функции (Function Call) ::= (
- 11. Аргументы функции ::= | , ::= |
Атрибутная грамматика
::= .symtab := emptystack ::= begin ; end .symtab := push(.tbl, .symtab) 1 ::= .symtab := 1.symtab | ; 2 .symtab := 1.symtab
Слайд 1Часть II. Формальное описание языков программирования
(Формальная спецификация формальных языков)
Приложение.
Атрибутная грамматика языка
Слайд 2Атрибутная грамматика
::=
.symtab := emptystack
::= begin ;
end
.symtab :=
push(.tbl, .symtab)
1 ::=
.symtab := 1.symtab
| ; 2
.symtab := 1.symtab
2.symtab := 1.symtab
push(
|
Слайд 3Декларации
1 ::=
1.tbl := .tbl
| ; 2
1.tbl :=
.tbl ∪ 2.tbl
Условие:
ids(.tbl)
∩ ids(2.tbl) = ∅
ids – функция, которая получает множество вида имя-тип и возвращает множество всех имен
ids – функция, которая получает множество вида имя-тип и возвращает множество всех имен
Слайд 4Возврат к .symtab
::= begin ; end
.symtab :=
push(.tbl,
push(
Слайд 5Декларации
::= int
.tbl := { (.name, INT) }
| bool
| fun
{ (
FUN(
Слайд 6Операторы
::=
.symtab := .symtab
|
.symtab := .symtab
| if then
Слайд 7Операторы
::= :=
.symtab := .symtab
Cond:
(typeof(.name,.symtab) = INT) ∨ (typeof(.name,.symtab)
= FUN)
| :=
.symtab := .symtab
Cond:
typeof(.name,.symtab) = BOOL
|
Cond:
typeof(
Слайд 8Арифметические выражения
1 ::=
|
Cond: typeof(.name,
1.symtab) = INT
| 2 + 3
2.symtab
:= 1.symtab
3.symtab := 1.symtab
Слайд 10Вызов функции (Function Call)
::= ( )
Cond:
typeof(.name,.symtab) =
FUN
Cond: rettype(.name,.symtab) = INT
.expTypes :=
paramtypes(.name,.symtab)
.symtab := .symtab
Cond: are_equal_lists(.expTypes, argtypes(),.symtab)
Cond: rettype(
paramtypes(
Cond: are_equal_lists(
