Большая Советская Энциклопедия
Формальная грамматика
в языкознании, одно из средств строгого описания естественных языков; один из разделов математической лингвистики (см. Грамматика формальная ).
Википедия
Формальная грамматика
Формальная грамматика или просто грамматика в теории формальных языков — способ описания формального языка, то есть выделения некоторого подмножества из множества всех слов некоторого конечного алфавита . Различают порождающие и распознающие (или аналитические) грамматики — первые задают правила, с помощью которых можно построить любое слово языка, а вторые позволяют по данному слову определить, входит ли оно в язык или нет.