Как правила грамматики задают формальный язык

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