Etiqueta computability - Esta es la página 10 - GeneraCodice

demostrar $ e_ {tm} $ no es indecidible usando el lenguaje de detención

https://www.generacodice.com/es/articolo/2465069/demostrar-e-tm-no-es-indecidible-usando-el-lenguaje-de-detencion
  turing-machines  -  computability  -  halting-problem
cs.stackexchange cs.stackexchange

Si $ L1⊆L2 $, y $ L1 \ Not∈re $, es posible que $ L2∈RE $

https://www.generacodice.com/es/articolo/2465028/si-l1-l2-y-l1-not-re-es-posible-que-l2-re
  turing-machines  -  computability  -  formal-languages
cs.stackexchange cs.stackexchange

Todas las funciones totales forman una clase de PRC.

https://www.generacodice.com/es/articolo/2465006/todas-las-funciones-totales-forman-una-clase-de-prc
  computability
cs.stackexchange cs.stackexchange

ODES Y MÁQUINAS ZENO

https://www.generacodice.com/es/articolo/2464686/odes-y-maquinas-zeno
  turing-machines  -  computability
cs.stackexchange cs.stackexchange

Detener la teoría del problema vs.práctica

https://www.generacodice.com/es/articolo/2464468/detener-la-teoria-del-problema-vs-practica
  programming-languages  -  computability  -  halting-problem  -  undecidability
cs.stackexchange cs.stackexchange

About computable sets

https://www.generacodice.com/es/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/es/articolo/2463546/is-there-a-way-to-hash-a-turing-machine
  turing-machines  -  computability  -  discrete-mathematics  -  hash-tables  -  hashing
cs.stackexchange cs.stackexchange

¿Cómo podría "resolver" el problema de detención si, hipotéticamente, los números de castor ocupados eran "pequeños"?

https://www.generacodice.com/es/articolo/2462542/como-podria-resolver-el-problema-de-detencion-si-hipoteticamente-los-numeros-de-castor-ocupados-eran-pequenos
  turing-machines  -  computability  -  halting-problem  -  undecidability
cs.stackexchange cs.stackexchange

Is there a computer which can simulate all computers?

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

¿Turing reducible en números naturales?

https://www.generacodice.com/es/articolo/2459534/turing-reducible-en-numeros-naturales
  computability  -  discrete-mathematics  -  reductions
cs.stackexchange cs.stackexchange
Resultados encontrados: 1630
scroll top