Conjunto recursivamente enumerable
De Wikipedia, la enciclopedia libre
En teoría de la computabilidad, un conjunto se denomina recursivamente enumerable (r. e.) si existe una función computable g(x) que esté definida únicamente para aquellos números naturales que pertenecen a B:
[editar] Véase también
- Lenguaje recursivamente enumerable
- Conjunto recursivo
- Reducción de conjuntos