Tackling Post’s Correspondence Problem Ling Zhao Department of Computing Science University of Alberta July 31, 2001.