Máquinas que comen otras máquinas
Codificación de una máquina de Turing
Se presenta un mecanismo para codificar una máquina de Turing
Máquina de Turing Universal
Se presenta a la MTU
Máquinas para máquinas
Se exploran escenarios donde MT reciben descripciones éstandar de MT
El problema del paro
Se presenta el problema del paro
Consecuencia de ser no decidible
Se presentan varias observaciones sobre las consecuencias de que problema del paro sea no decidible
El complemento de los no decidibles
Se ahonda en el concepto de complemento de no decidibles
comments powered by Disqus