Post’s Correspondence Problem Post’s Correspondence Problem Bas van Gijzel Motivation Introduction Proof of recursive unsolvability of PCP The classic proof (Post) A…