Conjunto recursivamente enumerable

De Wikipedia, la enciclopedia libre
Saltar a: navegación, búsqueda

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:

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

Véase también[editar]