Topic summary
Nonterminal
Extracted from the Wikipedia article Terminal and nonterminal symbols.
Nonterminal symbols
Nonterminal symbols are those symbols that cannot appear in the formal language defined by a formal grammar. A formal grammar includes a start symbol, which is a designated member of the set of nonterminal symbols. We can derive a set of strings of only terminal symbols by successively applying the production rules. The generated set is a formal language over the set of terminal symbols.