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.
翻译：我们引入了对后通信问题的修正,(在使用形态的配方中)我们要求图像是同义单词。 这个问题通过将它降为一种特殊类型的半硫系统的单词问题来证明是不可分的。
相关内容
专知会员服务
34+阅读 · 2019年10月17日
Arxiv
0+阅读 · 2022年1月11日
Arxiv
0+阅读 · 2022年1月10日
Arxiv
0+阅读 · 2022年1月10日
Arxiv
0+阅读 · 2022年1月6日
Arxiv
0+阅读 · 2022年1月5日
Arxiv
8+阅读 · 2018年3月13日
相关VIP内容
专知会员服务
34+阅读 · 2019年10月17日
相关资讯
相关论文
Arxiv
0+阅读 · 2022年1月11日
Arxiv
0+阅读 · 2022年1月10日
Arxiv
0+阅读 · 2022年1月10日
Arxiv
0+阅读 · 2022年1月6日
Arxiv
0+阅读 · 2022年1月5日
Arxiv
8+阅读 · 2018年3月13日
微信扫码咨询专知VIP会员