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.