Co-Recursivamente Enumerable
- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Definición
Clase de conjuntos cuyos complementos son recursivamente enumerables; equivalentemente, problemas para los cuales la no‑pertenencia puede semi-decidirse por un procedimiento efectivo que se detiene en las instancias negativas.