In the grammar specification, each nonterminal symbol is defined by a set of production rules.

In context-free grammars, nonterminal symbols are used to define recursive structures.