Conjunto recursivamente enumerable

Se denomina recursivamente enumerable (r. e.) a un conjunto, dentro de la teoría de la computabilidad, si existe una función computable g(x) que esté definida únicamente para aquellos números naturales que pertenecen a B:

${\displaystyle B=\{x\in \mathbb {N} \mid g(x)=\downarrow \}}$

Véase también

• Lenguaje recursivamente enumerable
• Conjunto recursivo
• Reducción de conjuntos

•   Datos: Q676835