Focuses on derivations, parse trees, ambiguity, and normal forms like Chomsky Normal Form (CNF) Greibach Normal Form (GNF) Pushdown Automata (PDA):

The book covers the following topics: