Problema de decisão: diferenças entre revisões
Conteúdo apagado Conteúdo adicionado
m Arquivando proposta de fusão encerrada, com um script |
m ajustes usando script |
||
Linha 16:
Formalmente, tem-se ainda que um problema de decisão é um subconjunto ''A'' dos números naturais. Usando a [[enumeração de Gödel]], é possível estudar outros conjuntos, como as linguagens formais. O "problema" informal é decidir quando um dado número está em um determinado conjunto.
Um problema de decisão é chamado de '''decidível''' ou '''efetivamente solúvel''' se ''A'' é um [[
== Exemplos ==
|