Серебряков (1157531)
Текст из файла
Серебряков В.А.
Курс бакалавриата, 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) грамматики
Характеристики
Тип файла документ
Документы такого типа открываются такими программами, как Microsoft Office Word на компьютерах Windows, Apple Pages на компьютерах Mac, Open Office - бесплатная альтернатива на различных платформах, в том числе Linux. Наиболее простым и современным решением будут Google документы, так как открываются онлайн без скачивания прямо в браузере на любой платформе. Существуют российские качественные аналоги, например от Яндекса.
Будьте внимательны на мобильных устройствах, так как там используются упрощённый функционал даже в официальном приложении от Microsoft, поэтому для просмотра скачивайте PDF-версию. А если нужно редактировать файл, то используйте оригинальный файл.
Файлы такого типа обычно разбиты на страницы, а текст может быть форматированным (жирный, курсив, выбор шрифта, таблицы и т.п.), а также в него можно добавлять изображения. Формат идеально подходит для рефератов, докладов и РПЗ курсовых проектов, которые необходимо распечатать. Кстати перед печатью также сохраняйте файл в PDF, так как принтер может начудить со шрифтами.