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

sem resumo de edição
( nova página: 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ár...)
 
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