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 tapeAll’inizio non viene mostrata alcuna operazione; osserva che il nastro del programma e il nastro di input si allineano come ruoli separati.
Ordine di letturaUniversal OverviewAll’inizio non viene mostrata alcuna operazione; osserva che il nastro del programma e il nastro di input si allineano come ruoli separati.Rispondi alla verifica della scoperta e passa alla codifica della descrizione della macchina.
Universal Map
Program tapedata flow
Input tapedata flow
Interpreterdata flow
Decoded ruledata flow
Halting boundarylimit
La fine della serieVedi in un unico sguardo il potere che può essere meccanizzato e le domande che non possono esserloLa Macchina universale è il Capitolo 4, che collega la serie di Turing all’ingresso della computabilità.Le prospettive da Prelude a Mechanical si ricongiungono qui nel programma come dato.
Verifica della scoperta
What newly becomes data in a Universal Machine?
Macchina di Turing: macchina universale - Luneidea
