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

Формальная грамматика, в языкознании, одно из средств строгого описания естественных языков; один из разделов математической лингвистики (см. Грамматика формальная).