Саратовский государственный университет.
Преподаватель: Миронов Сергей Владимирович. 122 страницы.
Содержание:
Первый семестр.
Языки программирования. Исторический очерк развития ЯП (3 периода). Парадигмы программирования (императивное, параллелизм, объектно-ориентированное, функциональное, логическое). Фазы компилятора (лексический, синтаксический, семантический анализ, обнаружение ошибок, генерация промежуточного кода, оп). Множества и отношения. Языки и операции над ними. Грамматики. Классификация грамматик по Хомскому. Распознаватели. Регулярные языки. Праволинейные грамматики. Конечные автоматы. Доказательство нерегулярности языков.Минимизация конечного автомата. Контекстно-свободные языки. МП-автоматы.
Второй семестр.
Элементы теории перевода. Схемы синтаксически управляемого перевода. Конечные преобразователи. Преобразователи с магазинной памятью. Нисходящий (левый) разбор. Восходящий (правый) разбор. Синтаксический анализ с возвратами. Универсальные методы синтаксического анализа. Алгоритм Кока-Янгера-Касами (CYK-алгоритм). Алгоритм Эрли. LL(k)-грамматики. Разбор для LL(1)-грамматик. LL(k)-разбор. LR(k)-грамматики. Алгоритм LR(k)-анализа. SLR-анализ. Канонические таблицы LR-анализа. Таблицы LARL-анализа.
Приложение.
Функция FIRST. Функция FOLLOW.
Преподаватель: Миронов Сергей Владимирович. 122 страницы.
Содержание:
Первый семестр.
Языки программирования. Исторический очерк развития ЯП (3 периода). Парадигмы программирования (императивное, параллелизм, объектно-ориентированное, функциональное, логическое). Фазы компилятора (лексический, синтаксический, семантический анализ, обнаружение ошибок, генерация промежуточного кода, оп). Множества и отношения. Языки и операции над ними. Грамматики. Классификация грамматик по Хомскому. Распознаватели. Регулярные языки. Праволинейные грамматики. Конечные автоматы. Доказательство нерегулярности языков.Минимизация конечного автомата. Контекстно-свободные языки. МП-автоматы.
Второй семестр.
Элементы теории перевода. Схемы синтаксически управляемого перевода. Конечные преобразователи. Преобразователи с магазинной памятью. Нисходящий (левый) разбор. Восходящий (правый) разбор. Синтаксический анализ с возвратами. Универсальные методы синтаксического анализа. Алгоритм Кока-Янгера-Касами (CYK-алгоритм). Алгоритм Эрли. LL(k)-грамматики. Разбор для LL(1)-грамматик. LL(k)-разбор. LR(k)-грамматики. Алгоритм LR(k)-анализа. SLR-анализ. Канонические таблицы LR-анализа. Таблицы LARL-анализа.
Приложение.
Функция FIRST. Функция FOLLOW.