Темы индивидуальных заданий
Задание 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КТ и на конец семестра | Всего за семестр |
Защита лабораторных работ | ||||
Защита индивидуальных заданий | ||||
Защита командного задания | ||||
Тесты, контрольные работы | ||||
Итого максимум за период: | ||||
Нарастающим итогом |
Пересчет баллов в оценки за контрольные точки
Баллы на дату контрольной точки | Оценка |
³ 90 % от максимальной суммы баллов на дату КТ | |
От 70% до 89% от максимальной суммы баллов на дату КТ | |
От 60% до 69% от максимальной суммы баллов на дату КТ | |
< 60 % от максимальной суммы баллов на дату КТ |
Список рекомендуемой литературы
Основная литература
1. Молчанов А.Ю. Системное программное обеспечение: Учебник для вузов / А.Ю. Молчанов. – СПб.: Питер, 2006. - 395 с.
2. Информатика: Учебник/ Н.В. Макарова [и др.]; ред. Н.В. Макарова. – М.: Финансы и статистика, 2007. – 765 с.
Дополнительная литература
1. Гордеев А.В. Системное программное обеспечение: Учебник для вузов / А.В. Гордеев, А.Ю. Молчанов. – СПб.: Питер, 2002. - 736 с.
2. Карпов Ю. Г. Теория автоматов: Учебник для вузов / Юрий Глебович Карпов. - СПб. : Питер, 2002. - 208 с.
3. Мозговой М. В Классика программирования: алгоритмы, языки, автоматы, компиляторы. Практический подход / М. В. Мозговой ; ред. : М. В. Финков. - СПб. : Наука и техника, 2006. - 320 с.
4. Т. Пратт, М. Зелковиц. Языки программирования: разработка и реализация. 4-е издание. М.: Питер, 2002.
5. Ахо А., Ульман Дж. Компиляторы: принципы, технологии, инструменты. – М.: Вильямс, 2001. – 767 с.