City: Saint Petersburg Novosibirsk Kazan Language: Русский English

Formal grammars and computational complexity of parsing
Saint Petersburg / autumn 2017, посмотреть все семестры

Enroll in the course to get notifications and to be able to submit home assignments.
Register to enroll now Login

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

Date and time Class|Name Venue|short Materials
12 November
11:15–12:45
Лекция 1, Lecture ПОМИ РАН slides,  video
12 November
13:00–14:30
Лекция 2, Lecture ПОМИ РАН video