Linguagem recursivamente enumerável: diferenças entre revisões

Uma linguagem é dita recursivamente enumerável se ela é computável, ou seja, se existe um [[algoritmo]] que reconhece esta linguagem mas que não necessariamente pára para qualquer entrada. O décimo problema[http://pt.wikipedia.org/wiki/Problemas_de_Hilbert] de [[Hilbert]] abrange a classe das linguagens recursivamente enumeráveis.