Read even the machine’s description as data on the tape
In a Universal Machine, the rule table of some Turing machine itself is placed on the tape as a string of symbols. Not only the input but also “which machine to run” becomes data, and the interpreter mimics one step of the target machine while reading that description.
First look at the two tapes. The top is the program tape, the bottom is the input tape. Do not Step here; confirm that the machine and the input are separated.
The heart of Chapter 4 is not a “machine that computes fast” but a “machine that reads the description of a machine as data.”
Universal Overview
program tape + input tapeAl principio no se muestra ninguna operación; lee que la cinta del programa y la cinta de entrada se alinean como roles separados.
Orden de lecturaUniversal OverviewAl principio no se muestra ninguna operación; lee que la cinta del programa y la cinta de entrada se alinean como roles separados.Responde la comprobación de descubrimiento y pasa a codificar la descripción de la máquina.
Universal Map
Program tapedata flow
Input tapedata flow
Interpreterdata flow
Decoded ruledata flow
Halting boundarylimit
El final de la serieVe de un vistazo el poder que se puede mecanizar y las preguntas que noLa Máquina Universal es el Capítulo 4, que conecta la serie de Turing con la entrada a la computabilidad.Las perspectivas desde Prelude hasta Mechanical se conectan aquí con el programa como dato.
