递归可枚举集合 递归可枚举集合英語Recursively enumerable set是可计算性理论或更狭义的递归论中的一个概念可数集合S被称为是递归可枚举计算可枚举的半可判定的或可证明的如果 存在一个算法只有当输入是S中的元素时算法才会中止 或者等价的说 存在一个算法可以将S中的成员枚举出来也就是说该算法的输出就是 S 的成员列表 s s s  如果需要它可以永远运行下去 包含所有可递归枚举集合的复杂性类是 RE 共同的编程意义会暗示出如何转换一种算法到等价的另一种算法第一种情况说明了为什么有时说半可判定的而第二种情况说明了为什么叫计算可枚举的