Recursivamente enumerable
La expresión recursivamente enumerable puede hacer referencia a varios conceptos cercanos en lógica y matemáticas:
- Un conjunto recursivamente enumerable es un conjunto que puede ser enumerado por un algoritmo.
- Un lenguaje recursivamente enumerable es un lenguaje cuyas fórmulas bien formadas pueden ser enumeradas por un algoritmo.
Este artículo ha sido escrito por Wikipedia. El texto está disponible bajo la licencia Creative Commons - Atribución - CompartirIgual. Pueden aplicarse cláusulas adicionales a los archivos multimedia.