Tabla de contenidos
2 relaciones: Conjunto recursivamente enumerable, Lenguaje recursivamente enumerable.
Conjunto recursivamente enumerable
En teoría de la computabilidad, un conjunto S de números naturales se denomina computablemente enumerable (ce), recursivamente enumerable (re), semidecidible, parcialmente decidible, enumerable, demostrable o Turing-reconocible si.
Ver Recursivamente enumerable y Conjunto recursivamente enumerable
Lenguaje recursivamente enumerable
En matemáticas, lógica e informática, un lenguaje recursivamente enumerable es un tipo de lenguaje formal que es también llamado parcialmente decidible o Turing-computable.
Ver Recursivamente enumerable y Lenguaje recursivamente enumerable

