Pushdown Automata: Preliminaries

Formal Definition of PDAs

How to compute with PDAs

Examples of Pushdown Automata

Equivalence between PDAs and CFGs

Transforming CFGs into PDAs

Transforming PDAs into CFGs

Non-Context-Free Languages

Deterministic CFLs

Summary