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