递归可枚举集合

可数集合 ${\displaystyle S}$ 是递归可枚举的，如果存在一个偏可计算函数 ${\displaystyle f}$ 使得

${\displaystyle f(x)=\left\{{\begin{matrix}0&{\mbox{if}}\ x\in S\\{\mbox{undef/does not halt}}\ &{\mbox{if}}\ x\notin S\end{matrix}}\right.}$

换句话说，${\displaystyle S}$ 是 ${\displaystyle f}$ 的域:

${\displaystyle \mathrm {dom} (f)=S}$

(注意这是偏函数的域的两种可能意义之一，是在递归论中所偏好的定义域。参见在偏函数中的讨论。)

集合 ${\displaystyle S}$ 被称为 co-递归可枚举的或 co-r.e.，如果 ${\displaystyle S}$ 的补集是递归可枚举的。

可数集合 ${\displaystyle S}$ 被叫做递归可枚举的，如果存在着一个偏可计算函数 ${\displaystyle f:\subseteq \mathbb {N} \to S}$，使得 ${\displaystyle S}$ 是 ${\displaystyle f}$ 的值域:

${\displaystyle \mathrm {rng} (f)=S}$

${\displaystyle f}$ 被称为枚举函数，因为它关联上一个枚举上的次序(rank)到 ${\displaystyle S}$ 的每个元素。

因为邱奇-图灵论题声称可计算函数被图灵机和其他计算模型等价的定义，我们陈述定义为

可数集合 ${\displaystyle S}$ 被称为递归可枚举的，如果有一个图灵机，在给定 ${\displaystyle S}$ 的一个元素作为输入的时候，总是停机，并在给定的输入不属于 ${\displaystyle S}$ 的时候永不停机。

这也是递归可枚举集合的常见定义。

• 所有递归集合都是递归可枚举的，但不是所有递归可枚举集合都是递归的。
• 递归可枚举语言是在形式语言的字母表上所有可能词的集合中的递归可枚举集合。
• Matiyasevich 定理声称所有的递归可枚举集合都是丢番图集合。
• 简单集合是递归可枚举的但不是递归的。
• 创造集合是递归可枚举的但不是递归的。
• 生产集合不是递归可枚举的。
• 对于偏可计算函数 ${\displaystyle \phi }$的哥德尔数${\displaystyle i}$，则集合 ${\displaystyle \{\langle i,x\rangle |\phi _{i}(x)\downarrow \}}$ (带有 ${\displaystyle \langle i,x\rangle }$ 康拖尔配对函数) 是递归可枚举的。这个集合编码了停机问题，因为它描述了每个图灵机停机的输入参数。
• 给定一个偏可计算函数${\displaystyle \phi }$的哥德尔数${\displaystyle x}$，则集合 ${\displaystyle \lbrace \left\langle x,y,z\right\rangle |\phi _{x}(y)=z\rbrace }$ 是递归可枚举的。这个集合编码判定一个函数值的问题。

如果 A 和 B 是递归可枚举集合，则 A ∩ B、A ∪ B 和 A × B 是递归可枚举集合。集合 A 是递归集合，当且仅当 A 和 A 补集二者是递归可枚举集合。递归可枚举集合一个可计算函数下的原像是递归可枚举集合。

• Rogers, H. The Theory of Recursive Functions and Effective Computability, MIT Press. ISBN 0-262-68052-1; ISBN 0-07-053522-1.
• Soare, R. Recursively enumerable sets and degrees. Perspectives in Mathematical Logic. Springer-Verlag, Berlin, 1987. ISBN 3-540-15299-7.
• Soare, Robert I. Recursively enumerable sets and degrees. Bull. Amer. Math. Soc. 84 (1978), no. 6, 1149–1181.