ЛЕКЦИИ по курсу "Лингвистические основы информатики"
Последнее изменение: 18/02/2025 15:35:56
Лекции составлены на основе учебного пособия
А.П.Замятин, А.М.Шур. Языки, грамматики, распознаватели
VI семестр
Совместные лекции к.ф.-м.н., доцента Ю.В.Нагребецкой и к.ф.-м.н., доцента И.А.Михайловой
Лекция 1. Порождающие грамматики
Лекция 2. Контексно-свободные грамматики и языки
Лекция 3. Однозначные грамматики
Лекция 4. Приведенные грамматики
Лекция 5. Эпсилон-свободные грамматики
Лекция 6. Ацикличные грамматики. Нормальная форма Хомского
Лекция 7. Алгоритм Кока-Янгера-Касами
Лекция 8. Вопросы замкнутости класса КС языков относительно регулярных операций
Лекция 9. Лемма о накачке для КС языков
Лекция 10. Теорема об унарных языках
Лекция 11. Синтаксический анализ и автомат с магазинной памятью
Лекция 12. Распознаваемость с пустым стеком. Эквивалентность двух типов распознаваемости
Лекция 13. Распознаваемость контекстно-свободных языков недетерминированными автоматами с магазинной памятью
Лекция 14. Множество выбора для правила, LL(1)-грамматики
Лекция 15. LL-анализ. Левая факторизация и избавление от левой рекурсии
VII семестр
Лекции к.ф.-м.н., доцента В.А.Щербаковой
Лекция 1-2. LR(0)-автомат. LR(0)-грамматика. Анализатор на основе LR(0)-автомата
Лекция 3. SLR(1)-анализатор. SLR(1)-грамматика
Лекция 4. LR(1)-автомат, LR(1)-анализатор, LR(1)-грамматика
Лекция 5. Гибридный метод построения LR-автомата. LALR(1)-грамма
Лекция 6. Основная теорема LR анализа
Лекция 7. LR(k)-автомат. LR(k)-грамматики. LR-язык
Лекция 8. Семантический анализ. Атрибутная грамматика
Лекция 9. Граф зависимости в атрибутной грамматике. Синтаксическое дерево и даг в операторной грамматике
Лекция 10. Вычисление атрибутов, совмещенное с LR-анализом (восходящий анализ)
Лекция 11. Восходящий анализ с маркером
Лекция 12. Проверка семантической корректности программы, общие сведения. Выражения типа
Лекция 13. Атрибутная грамматика проверки типов данных в программе
Лекция 14. Полиморфизм
См. также