Slide 1 Slide 2 Tackling Post’s Correspondence Problem Ling Zhao Department of Computing Science University of Alberta July 31, 2001 Slide 3 Preconceptions Easy to state,…
