line LevelNinth Level line LevelNinth LevelPosts Correspondence Problem Word Problem in semi-Thue SystemsHector Miguel ChavezWestern Michigan UniversityJun 10 2009Posts Correspondence ProblemAn ins