1.Previous
3.Next

the following components:
* A finite set N of nonterminal symbols, that is disjoint with the strings formed from G.
* A finite set of terminal symbols that is disjoint from N.
* A finite set P of production rules, each rule of the form
::
:where is the Kleene star operator and denotes set union.

1.Previous
3.Next