15-453 Formal Languages, Automata, and Computation
Lecture 11: Pushdown Automata and Context-Free Grammars

We complete the proof of the theorem that a language is context free if and only if it is recognized by a pushdown automaton. This directions requires that we construct a context-free grammar to simulate a pushdown automaton and verify the correctness of the construction.

[ Home | Schedule | Assignments | Handouts | Overview ]

Frank Pfenning