Terminal and nonterminal symbols
= Terminal and nonterminal symbols
{wiki}
In a <formal grammar>, <terminal symbols> are symbols of completed words; a <nonterminal symbol> is an auxiliary symbol that may be replaced by a production. The two alphabets are disjoint.