Consider the grammar
A
:==
y
|
xyC
|
ε
B
:==
xyBC
|
C
C
:==
ε
|
xBy
|
wxCy
{A, B, C} is the set of nonterminal symbols
A is the start symbol
{w, x, y} is the set of terminal symbols
ε denotes the empty string
The symbol $ refers to the end of the input. It implicitly follows the start symbol (and possibly other nonterminals). It may appear in follow sets.
Home