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 tapeAu début, aucune opération n’est affichée ; comprenez que le ruban de programme et le ruban d’entrée s’alignent selon des rôles distincts.
Ordre de lectureUniversal OverviewAu début, aucune opération n’est affichée ; comprenez que le ruban de programme et le ruban d’entrée s’alignent selon des rôles distincts.Répondez à la vérification de découverte, puis passez à l’encodage de la description de la machine.
Universal Map
Program tapedata flow
Input tapedata flow
Interpreterdata flow
Decoded ruledata flow
Halting boundarylimit
La fin de la sérieVoyez d’un seul regard la puissance qui peut être mécanisée et les questions qui ne peuvent pas l’êtreLa Machine universelle constitue le Chapitre 4, reliant la série Turing à l’entrée de la calculabilité.Les perspectives, de Prelude à Mechanical, se rejoignent ici dans l’idée du programme-donnée.
Vérification de découverte
What newly becomes data in a Universal Machine?
Machine de Turing : machine universelle - Luneidea
