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