lFour classes of grammatical formalisms:
lRecursively
enumerable grammars
lUnrestricted rules: both sides of the rewrite rules can
have any number of terminal and
nonterminal symbols
l AB ® C
lContext-sensitive
grammars
lThe
RHS must contain at least as many symbols as the LHS
l ASB ® AXB
lContext-free
grammars (CFG)
lLHS
is a single nonterminal symbol
l S ® XYa
lRegular
grammars
l X ® a X ® aY
l