Формальная грамматика
Форма́льная грамма́тика
В языкознании, одно из средств строгого описания естественных языков; один из разделов математической лингвистики (См. Математическая лингвистика) (см. Грамматика формальная).
Большая советская энциклопедия