Серебряков (УМК ВМК)
Описание файла
Файл "Серебряков" внутри архива находится в папке "УМК ВМК". Документ из архива "УМК ВМК", который расположен в категории "". Всё это находится в предмете "конструирование компиляторов" из 7 семестр, которые можно найти в файловом архиве МГУ им. Ломоносова. Не смотря на прямую связь этого архива с МГУ им. Ломоносова, его также можно найти и в других разделах. .
Онлайн просмотр документа "Серебряков"
Текст из документа "Серебряков"
Серебряков В.А.
Курс бакалавриата, 6 семестр
Формальные языки и автоматы
1. Языки и их представление
1.1. Алфавиты, цепочки и языки.
1.2. Представление языков
1.3. Грамматики
1.3.1. Формальное определение грамматики
1.3.1. Типы грамматик по Хомскому и их свойства.
1.4. Связь машин Тьюринга и грамматик типа 0
1.5. Линейно-ограниченные автоматы и их связь с контекстно-зависимыми грамматиками
2. Регулярные выражения и конечные автоматы
2.1. Регулярные множества и выражения.
2.2. Детерминированные и недетерминированные конечные автоматы
2.3. Эквивалентность классов языков, определяемых конечными автоматами, регулярными выражениями и грамматиками типа 3.
2.4. Необходмое условие регулярности языка (Демма о разрастании)
2.5. Теорема Майхилла-Нейроуза
2.6. Алгоритмы построения конечных автоматов
2.6.1. Построение недетерминированного конечного автомата по регулярному выражению
2.6.1. Построение детерминированного конечного автомата по недетерминированному
2.6.2. Построение детерминированного конечного автомата по регулярному выражению
3. Контекстно-свободные языки и автоматы с магазинной памятью
3.1. Контекстно-свободные грамматики и автоматы с магазинной памятью
3.2. Детерминированные и недетерминированные магазинные автоматы
3.3. Эквивалентность магазинных автоматов, распознающих по конечному состоянию и по опустошению магазина
3.4. Эквивалентность классов языков, определеяемых недетерминированными магазинными автоматами и КС грамматиками типа
3.4. Необходмое условие контекстной свободности языка (лемма о разрастании для КС языков)
3.5. Преобразования КС-грамматик, приведенные грамматики
4.Синтаксический анализ
4.1. Универсальный алгоритм синтаксического анализа Кока-Янгера-Касами
4.2. Предсказывающий разбор сверху-вниз
4.2.1. Алгоритм разбора сверху-вниз.
4.2.2. Функции FIRST и FOLLOW . .
4.2.3. Конструирование таблицы предсказывающего анализатора.
4.2.4. LL(l)-грамматики.
4.2.5. Удаление левой рекурсии
4.2.6. Левая факторизация. .
4.2.7. Рекурсивный спуск.
4.2.8. LL(k) грамматики
4.3. Разбор снизу-вверх типа сдвиг-свертка.
4.3.1.Основа
4.3.2. LR(l)-анализаторы
4.3.3. Конструирование LR(l)-таблицы
4.3.4. LR(l)-грамматики.
4.3.5. Восстановление анализа после синтаксических ошибок. . . . . .
4.3.6. LR(0) грамматики, LR(0) анализ
4.3.7. LR(k) грамматики