Tag computability - Esta é a página 10 - GeneraCodice

provando $ e_ {tm} $ é indecidável usando a linguagem parada

https://www.generacodice.com/pt/articolo/2465069/provando-e-tm-e-indecidavel-usando-a-linguagem-parada
  turing-machines  -  computability  -  halting-problem
cs.stackexchange cs.stackexchange

Se $ l1⊆l2 $, e $ l1 \ Not∈re $, é possível que $ l2∈re $

https://www.generacodice.com/pt/articolo/2465028/se-l1-l2-e-l1-not-re-e-possivel-que-l2-re
  turing-machines  -  computability  -  formal-languages
cs.stackexchange cs.stackexchange

Todas as funções totais formam uma classe PRC

https://www.generacodice.com/pt/articolo/2465006/todas-as-funcoes-totais-formam-uma-classe-prc
  computability
cs.stackexchange cs.stackexchange

EDOs e máquinas Zeno

https://www.generacodice.com/pt/articolo/2464686/edos-e-maquinas-zeno
  turing-machines  -  computability
cs.stackexchange cs.stackexchange

Halting Teoria do problema vs. prática

https://www.generacodice.com/pt/articolo/2464468/halting-teoria-do-problema-vs-pratica
  programming-languages  -  computability  -  halting-problem  -  undecidability
cs.stackexchange cs.stackexchange

About computable sets

https://www.generacodice.com/pt/articolo/2464272/about-computable-sets
  turing-machines  -  computability  -  discrete-mathematics  -  undecidability  -  church-turing-thesis
cs.stackexchange cs.stackexchange

Is there a way to hash a turing machine?

https://www.generacodice.com/pt/articolo/2463546/is-there-a-way-to-hash-a-turing-machine
  turing-machines  -  computability  -  discrete-mathematics  -  hash-tables  -  hashing
cs.stackexchange cs.stackexchange

Como você poderia "resolver" o problema da parada se, hipoteticamente, os números ocupados do castor eram "pequenos"?

https://www.generacodice.com/pt/articolo/2462542/como-voce-poderia-resolver-o-problema-da-parada-se-hipoteticamente-os-numeros-ocupados-do-castor-eram-pequenos
  turing-machines  -  computability  -  halting-problem  -  undecidability
cs.stackexchange cs.stackexchange

Is there a computer which can simulate all computers?

https://www.generacodice.com/pt/articolo/2460214/is-there-a-computer-which-can-simulate-all-computers
  computability
cs.stackexchange cs.stackexchange

Turing redutível em números naturais?

https://www.generacodice.com/pt/articolo/2459534/turing-redutivel-em-numeros-naturais
  computability  -  discrete-mathematics  -  reductions
cs.stackexchange cs.stackexchange
Resultados encontrados: 1630
scroll top