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.
Son conocidos como lenguajes tipo-0 en la Jerarquía de Chomsky.
Aunque existen varias definiciones equivalentes, ésta es una de las principales: Todos los lenguajes regulares, independientes de contexto, dependientes de contexto y recursivos son recursivamente enumerables.
Los lenguajes recursivamente enumerables son cerrados con las siguientes operaciones.
son dos lenguajes recursivamente enumerables, entonces los siguiente lenguajes son recursivamente enumerables también: Nótese que los lenguajes recursivamente enumerables no son cerrados con la diferencia ni el complementario.