Module grammar
stelar
Types used to define a grammar
A numbered rule (or production) of a grammar, of the form lhs -> rhs
lhs -> rhs
Symbols in a grammar