多维替换子移位之间同构问题的可判定性

动力系统中的一个重要问题是分类问题，即区分两个同构系统的能力。在这项工作中，我们研究了由具有一致支撑的态射生成的一族多维替换子移位之间的拓扑因子。我们证明，检查两个极小非周期替换子移位是否同构是可判定的。这项工作遵循的策略包括对这些子移位之间的因子映射给出完整描述。然后，我们推导出关于聚并、自同构群以及替换子移位的非周期符号因子数量的一些有趣结论。我们还证明了关于这些替换的其他组合结果，例如定义子移位的可判定性、可识别性常数的可计算性，以及具有不同支撑的替换之间的共轭性。