15-453 Formal Languages, Automata, and Computation
Lecture 23: Post Correspondence Problem

We complete the discussion of mapping reducibility by showing that there are languages which are neither Turing-recognizable nor co-Turing-recognizable. We then introduce the Post Correspondence Problem and prove that it is undecidable by a simple reduction from the acceptance problem for Turing machines, using computation histories.

[ Home | Schedule | Assignments | Handouts | Overview ]

Frank Pfenning