- •Теория автоматов и формальных языков
- •231000.62 «Программная инженерия»
- •Введение
- •Цели и задачи дисциплины
- •Содержание разделов дисциплины
- •Рейтинговая система оценки успеваемости студентов
- •Темы контрольных работ
- •Темы индивидуальных заданий
- •Темы командных заданий
- •Вопросы на зачет
- •Список рекомендуемой литературы
Темы контрольных работ
1. Регулярные выражения, приемы построения регулярных грамматик.
2. Способы задания языков на основе конечного автомата.
3. Способы задания языков на основе КС-грамматики.
4. Способы задания языков на основе автомата с магазинной памятью.
Темы индивидуальных заданий
Задание 1.
1. Лексический анализ.
2. Работа с таблицами.
3. Синтаксический анализ.
4. Генерация промежуточного кода.
5. Оптимизация кода.
6. Анализ и исправление ошибок.
Задание 2.
1. Автоматы Мили.
2. Автоматы Мура.
3. Вероятностные автоматы.
4. Линейно-ограниченные автоматы.
5. Машина Тьюринга.
Задание 3.
1. Индексные грамматики.
2. Вероятностные грамматики.
3. Атрибутивные грамматики.
4. Сетевые грамматики.
Темы командных заданий
Задание 1.
1. Грамматики простого предшествования.
2. Грамматики расширенного предшествования.
3. Грамматики смешанной стратегии предшествования.
4. Грамматики операторного предшествования.
5. Двухмагазинные анализаторы.
6. Грамматика Колмерауэра.
Задание 2.
1. Грамматики слабого предшествования.
2. Грамматики ограниченного правого контекста.
3. Язык Флойда-Эванса.
4. Язык нисходящего разбора с ограниченными возвратами.
5. Метод грамматического разбора Винограда.
Вопросы на зачет
1. Понятие строки. Операции над строками.
2. Формальный язык, способы задания, операции над языками.
3. Структура компилятора. Лексический анализ.
4. Структура компилятора. Синтаксический анализ.
5. Структура компилятора. Генерация промежуточного кода.
6. Структура компилятора. Оптимизация кода.
7. Принципиальная модель компилятора.
8. Иерархия языков, грамматик и распознавателей.
9. Классификация грамматик по Хомскому.
10. Приемы построения грамматик.
11. Регулярные множества и регулярные выражения.
12. Регулярные грамматики.
13. Детерминированный конечный автомат.
14. Недетерминированный конечный автомат.
15. Эквивалентность языков задаваемых регулярной грамматикой и конечным автоматом.
16. Деревья выводов.
17. Нормальная форма Хомского.
18. Нормальная форма Грейбах.
19. Способы задания языков на основе автомата с магазинной памятью.
20. Детерминированный автомат с магазинной памятью.
21. Недетерминированный автомат с магазинной памятью.
22. Расширенный автомат с магазинной памятью.
23. Эквивалентность языков задаваемых КС-грамматикой и автоматом с магазинной памятью.
24. Понятие перевода.
25. Формализмы, используемые для определения перевода
26. Схемы синтаксически управляемого перевода.
27. Структура и функции распознавателя.
28. Детерминированный конечный преобразователь
29. Недетерминированный конечный преобразователь.
30. Детерминированный преобразователь с магазинной памятью
31. Перевод, определяемый преобразователем с магазинной памятью.
32. Перевод, определяемый преобразователем опустошением магазина.
33. Недетерминированный преобразователь с магазинной памятью.
Рейтинговая система оценки успеваемости студентов
Балльные оценки для элементов контроля
Элементы учебной деятельности |
Максимальный балл на 1-ю КТ с начала семестра |
Максимальный балл за период между 1КТ и 2КТ |
Макс. балл за период между 2КТ и на конец семестра |
Всего за семестр |
Защита лабораторных работ |
18 |
18 |
18 |
54 |
Защита индивидуальных заданий |
11 |
11 |
|
22 |
Защита командного задания |
|
|
20 |
20 |
Тесты, контрольные работы |
12 |
6 |
6 |
24 |
Итого максимум за период: |
41 |
35 |
44 |
120 |
Нарастающим итогом |
41 |
76 |
120 |
120 |
Пересчет баллов в оценки за контрольные точки
Баллы на дату контрольной точки |
Оценка |
90 % от максимальной суммы баллов на дату КТ |
5 |
От 70% до 89% от максимальной суммы баллов на дату КТ |
4 |
От 60% до 69% от максимальной суммы баллов на дату КТ |
3 |
< 60 % от максимальной суммы баллов на дату КТ |
2 |
