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

A формальная грамматика - это набор правил производства, описывающих, как формировать строки действительного синтаксиса. Формальные грамматики чаще всего используются для указания синтаксиса языка программирования.

Грамматика формально определяется как 4-кортеж, состоящий из серии производственных правил, терминальных символов, нетерминальных символов и символа начала, который сам по себе является нетерминалом. Любой терминал не может быть нетерминалом и наоборот.

Граммары очень полезны в парсерах для языков программирования. Грамматику можно использовать для определения синтаксической корректности данной строки.

Генераторы Parser, такие как JavaCC или ANTLR, используют данную грамматику (обычно одну из конкретной формы и без двусмысленностей) для генерации парсера.