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

Вычислительная сложность формальных грамматик (Александр Охотин, Университет Турку, Финляндия)
Computer Science семинар

Что: Лекция
Когда: Воскресенье, 25 сентября 2011, 15:35–17:10
Где: ПОМИ РАН
Слайды: csseminar_lecture_250911.pdf

Описание

Формальные грамматики — это прикладная логика, предназначеная для задания синтаксиса языков, Применение грамматик тесно связано с алгоритмами для распознавания тех или иных свойств языка — таких, как принадлежность данной строки языку, или непустота языка, заданного данной грамматикой. Разные семейства грамматик отличаются не только своими выразительными возможностями, но и вычислительной сложностью задач распознавания свойств. В докладе будут описаны известные разновидности формальных грамматик и дан обзор результатов о сложности основных задач для этих грамматик.

Видео