|
ИСТИНА |
Войти в систему Регистрация |
ИПМех РАН |
||
Формальные языки и грамматики (полгода, осень)учебный курс
- Автор: Борисенко Владимир Виальевич
- Год создания: 2023
- Организация: МГУ имени М.В. Ломоносова
- Описание: Задание языков с помощью формальных гармматик. Иерархия Хомского, контекстно зависимые и контекстно свободные грамматики, право- и леволинейные грамматики. Конечные автоматы и автоматные языки. Эквивалениность недетерминированных и детерминированных конечных автоматов, алгоритм построения минимального детерминированного конечного автомата. Совпадение классов автоматных языков и языков, порожденных право- и леволинейными грамматиками. Регулярные языки и выражения. Теорема Клини о совпадении классов автоматных и регулярных языков. Операции над автоматными и контекстно свободными языками. Алгоритмические проблемы теории формальных языков. Задача разбора для контекстно свободных языков. Нисходящий (рекурсивный) разбор, понятие хвостовой рекурсии. Восходящий разбор (LR-разбор, или разбор с помощью конечного автомата со стеком). Практическая реализация задачи разбора на языке C++.
- Добавил в систему: Борисенко Владимир Витальевич
Преподавание курса
- 18 сентября 2023 - 30 декабря 2023 Борисенко Владимир Витальевич
- МГУ имени М.В. Ломоносова, Механико-математический факультет
- обязательная, по выбору (спецкурс), лекции, 28 часов
- Автор: Борисенко Владимир Виальевич