Город: Санкт-Петербург Казань Язык: Русский English

Формальные грамматики и вычислительная сложность синтаксического анализа
Санкт-Петербург / осень 2017, посмотреть все семестры

Запишитесь на курс, чтобы получать уведомления и иметь возможность сдавать домашние задания. Для записи требуется регистрация на сайте.
Перейти к регистрации Войти

Формальные грамматики – это математическая модель синтаксиса языков,естественных и искусственных, используемая, в частности, для синтаксического анализа. Впервые грамматики были строго сформулированы в конце 50-х гг. XX века, и в таком виде они и вошли в стандартные курсы информатики. Современное состояние дел в этой области будет представлено на предлагаемых лекциях. Будут описаны основные известные разновидности грамматик, отличающихся как по своим выразительным возможностям, так и по сложности алгоритмов синтаксического анализа. Эти разновидности будут соотнесены с основными классами вычислительной сложности.

Дата и время Название Место Материалы
12 ноября
11:15–12:45
Лекция 1, лекция ПОМИ РАН слайды
12 ноября
13:00–14:30
Лекция 2, лекция ПОМИ РАН Нет