Recursivamente Enumerable

Clase de conjuntos (lenguajes) para los que existe una máquina de Turing que enumera todos los miembros o, equivalentemente, acepta exactamente las entradas del conjunto deteniéndose y aceptando en ellas; la máquina puede no detenerse en los no-miembros.