可计算排列和单词问题

摘要

这是一篇解释性论文，其目的是解释群论和可计算性理论之间的一些有趣的联系。让$C类$表示所有可计算排列的组$N个$.一个基本问题是：关于的有限生成子群，我们能说什么$C类$? 部分地回答这个问题涉及来自可计算性理论的思想，例如图灵度和真实度。我们想让群体理论家和可计算理论家都能理解这篇论文，所以我们仔细解释了所有需要的概念。