We introduce a modification to the Post Correspondence Problem where (in the formulation using morphisms) we require the images to be conjugate words. This problem is then shown to be undecidable by reducing it to the word problem for a special type of semi-Thue systems.

翻译：我们引入了对后通信问题的修正,(在使用形态的配方中)我们要求图像是同义单词。 这个问题通过将它降为一种特殊类型的半硫系统的单词问题来证明是不可分的。