ИКНК
Теория автоматов и формальных языков (ресурсный курс) - Весна 2024 - Герасимов Александр Сергеевич
0%
Пред.
Данные курса
Общая информация
Объявления
Ссылка на курс лекций
Презентации лекций Ю.Г.Карпова от 19.05.2022
Архив всех PPT-презентаций лекций
1. Формальные языки. Примеры языков. Грамматики. Конечные автоматы
2. Теория конечных автоматов-распознавателей
3. Трансляция автоматных языков
4. Регулярные множества и регулярные выражения
5. Язык Милан и стековая машина
6. Синтаксически-ориентированная трансляция и грамматики Хомского
7. Иерархия грамматик Хомского
8. Абстрактные распознающие автоматы
9. Атрибутная семантика и атрибутные грамматики
10. Примеры атрибутных трансляций. Трансляция арифметических выражений
11. s-грамматики, LL(k)-грамматики
12. Метод рекурсивного спуска
13. Построение транслятора языка Милан методом рекурсивного спуска
14. Грамматики предшествования, LR(k)-грамматики
15. LR(k), SLR(k) и LALR(k)-грамматики
Практические занятия
Ю.Г.Карпов. Задачи по курсу "Автоматы и формальные языки"
А.С.Герасимов. Некоторые задачи для практических занятий
Самостоятельные работы
Образец решения задачи 1 на построение прямого произведения и проверку эквивалентности двух ДКА
Образец решения задачи 2 на минимизацию ДКА
Образец решения задачи 3 на преобразование НКА в эквивалентный ДКА
К задаче 4: схема исключения состояния из обобщённого НКА и схемы построения НКА по регулярным выражениям
Образец решения первой части задачи 4: преобразование НКА в регулярное выражение
Образец решения второй части задачи 4: преобразование регулярного выражения в НКА
MilanVM.zip
Курсовое проектирование
Форма Бэкуса-Наура. Синтаксический анализ методом рекурсивного спуска
Общие требования к отчёту по курсовой работе
Компилятор языка Милан и виртуальная машина Милана
Документация по компилятору языка Милан (в том числе описание языка Милан)
Документация по виртуальной машине Милана
Пример программы для виртуальной машины Милана
Сюда нужно загрузить последнюю версию отчёта по курсовой работе до собеседования по курсовой с преподавателем
Промежуточная аттестация: зачёт по курсовой работе и дифференцированный зачёт (т.е. зачёт с оценкой) по курсу "Теория автоматов и формальных языков"
След.
Боковая панель
ИКНК
Русский (ru)
Русский (ru)
English (en)
Вход
Навигация по сайту
Теория автоматов и формальных языков (ресурсный курс) - Весна 2024 - Герасимов Александр Сергеевич
В начало
Перейти к основному содержанию
Информация о курсе
В начало
Курсы
Курсы структурных подразделений института
Высшая школа программной инженерии
Теория автоматов и формальных языков (ресурсный курс) - Весна 2024 - Герасимов Александр Сергеевич
Описание
Теория автоматов и формальных языков (ресурсный курс) - Весна 2024 - Герасимов Александр Сергеевич
Преподаватель:
Герасимов Александр Сергеевич
Skill Level
:
Beginner
Skill Level
:
Beginner