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

sem resumo de edição
{{contextomínimo}}
 
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.
Utilizador anónimo