Linguagem recursivamente enumerável: diferenças entre revisões
Conteúdo apagado Conteúdo adicionado
| Linha 1: | Linha 1: | ||
{{contexto}} |
{{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. |
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. |
||
[[Categoria:Teoria da computação]] |
|||
Revisão das 18h20min de 18 de outubro de 2007
 | Esta página ou seção carece de 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[1] de Hilbert abrange a classe das linguagens recursivamente enumeráveis.