15-453 Formal Languages, Automata, and Computation
Lecture 19: Reductions

We discuss the importance of Turing machines and the undecidability of the halting problem in the history of computer science. Then we introduce the technique of reduction in order to prove undecidability.

This lecture is given by Mihai Budiu.

[ Home | Schedule | Assignments | Handouts | Overview ]

Frank Pfenning