Формальная грамматика или просто
грамматика в теории
формальных языков — способ описания формального языка, то есть выделения некоторого подмножества из множества всех слов некоторого конечного
алфавитa. Различают
порождающие и
распознающие (или
аналитические) грамматики — первые задают правила, с помощью которых можно построить любое слово языка, а вторые позволяют по данному слову определить, входит оно в язык или нет.