关于双无限和共轭后对应问题
摘要：后缀问题的两个修改版的研究：1）双无穷版本，它询问是否存在一个双无穷词，使得两个给定的形态满足它；2）共轭版本，要求给定形态的映射图像彼此共轭。对于双无穷后缀问题，我们展示了它属于算术分级中的$Σ_2^0$类。对于共轭后缀问题，我们通过将其归约为一种特殊类型Semi-Thue系统的词问题，给出了一个不可判定性证明。
作者：Olivier Finkel, Vesa Halava, Tero Harju, Esa Sahla
论文ID：2111.04484
分类：Discrete Mathematics
分类简称：cs.DM
提交时间：2022-09-16