Формальные грамматики

Курс читает Александр Сергеевич Охотин из университета Турку.

Похожий курс читался в Computer Science клубе в 2009 году http://compsciclub.ru/courses/formallanguages.

Курс пройдёт в 2 этапа:
8 лекций на неделе с 8 по 12 сентября
и 8 лекций на неделе с 22 по 26 сентября.

Расписание на первую неделю:
Понедельник 8 сентября: лекции с 14:15 до 17:40
Вторник 9 сентября: лекции с 14:15 до 17:40
Четверг 11 сентября: лекции с 14:15 до 17:40
Пятница 12 сентября: лекции с 14:15 до 17:40

Предварительное расписание на вторую неделю:
Понедельник 22 сентября: с 12 до 17:40
Среда 24 сентября: с 12 до 17:40
Пятница 26 сентября: с 16 до 17:40

Место проведения: Академический университет (см. карту):

Аннотация курса

Формальные грамматики – это математические модели, описывающие
синтаксис языков как естественных (русского, английского), так и
искусственных (языки программирования, языки разметки). Такие модели
нужны для изучения этих языков и особенно для их обработки в
компьютерных приложениях. Курс, который читает Александр Охотин,
повествует о современном состоянии в области формальных грамматик с
точки зрения теоретических основ информатики, делая основной упор на
тех моделях, которые не только являются интересными математическими
объектами, но и применимы на практике. Особое внимание уделяется
алгоритмам разбора и их вычислительной сложности.

Примерная программа курса