递归集合 在可计算性理论中一个自然数的子集被称为递归的可计算的或具可判定性如果我们可以构造一个算法使之能在有限时间内终止并判定一个给定元素是否属于这个集合更一般的集合的类叫做递归可枚举集合这些集合包括递归集合对于这种集合只需要存在一个算法当某个元素位于这个集合中时能够在有限时间内给出正确的判定结果但是当元素不在这个集合中时算法可能会永远运行下去但不会给出错误答案