Linguagem de recursividade enumerada
Origem: Wikipédia, a enciclopédia livre.
Uma linguagem eh dita recursivamente enumeravel quando existe uma <a href="http://pt.wikipedia.org/wiki/M%C3%A1quina_de_Turing">Máquina de Turing</a> que sempre pára, com "sim" ou 1" para instâncias positivas.
Toda linguegem recursiva é também recursivamente enumerável.