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

sem resumo de edição
 
{{contexto}}
 
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.
1 922

edições