Conjuntos recursivamente enumeráveis: diferenças entre revisões
Conteúdo apagado Conteúdo adicionado
Etiqueta: Ligações internas removidas |
|||
Linha 2:
Na teoria recursiva, um conjunto S de números naturais é chamado recursivamente enumerável, computavelmente enumerável, semidecidível, provável ou turing-reconhecível se:
| |||