Описание тега grammar

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

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

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

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