递归可枚举集合(关于递归可枚举集合简述)

小伙伴们，你们好，今天小市来聊聊一篇关于递归可枚举集合，关于递归可枚举集合简述的文章,网友们对这件事情都比较关注，那么现在就为大家来简单介绍下，希望对各位小伙伴们有所帮助。

1、递归可枚举集合（英语：Recursivelyenumerableset）是可计算性理论或更狭义的递归论中的一个概念。

2、可数集合S被称为是递归可枚举、计算可枚举的、半可判定的或可证明的，如果存在一个算法，只有当输入是S中的元素时，算法才会中止。

3、或者等价的说，存在一个算法，可以将S中的成员枚举出来。

4、也就是说该算法的输出就是S的成员列表:s1,s2,s3,...如果需要它可以永远运行下去。

5、包含所有可递归枚举集合的复杂性类是RE。

6、共同的编程意义会暗示出如何转换一种算法到等价的另一种算法。

7、第一种情况说明了为什么有时说半可判定的，而第二种情况说明了为什么叫计算可枚举的。

文章到此就分享结束，希望对大家有所帮助。