woensdag 22 juli 2026
Hier volgt het beschrijvingsnummer (D.N) om een Turingmachine te configureren die twee getallen kan vermenigvuldigen. Woordenboek: S0 is het lege symbool. S1 markeert het begin van de tape. S2 is 0 en S3 is 1. S4 en S5 worden gebruikt tijdens de operatie op de E-elementen. Configuraties: q0 is de foutconfiguratie (gereserveerd, niet actief). q1 is de stopconfiguratie. q2 is de startconfiguratie. Opzet tape: markeer het begin van de tape met S1. Voeg daarna X keer S3S0 toe, afgesloten met S2S0. Voeg dan Y keer S3S0 toe, afgesloten met S2S0. Zet de scanner rechts van S1 op de tape, de machine zoekt naar het begin. De machine voegt X*Y S3S0 aan de tape toe, afgesloten met S2S0. Bij goed verloop eindigt de machine in configuratie q1 aan het einde van de tape. Beschrijvingsnummer: 33363731336317311334311731132325311173113223224311731132223222431173111322232225311117311113322225311111731111132232253111111117311111322232225311111173111111335311111731111111322322531111111173111111132223222531111111117311111111335311111117311111111133222225311111111117311111111113322253111111111111173111111111132232253111111111117311111111113222322253111111111117311111111111335311111111117311111111111322222322222531111111111731111111111113223224311111111111117311111111111132223222431111111111111731111111111111334311111111111173111111111111132222235311111111111111731111111111111132232243111111111111111173111111111111113222322253111111111111111731111111111111113322222531111111111731111111111111111334311111111111111111731111111111111111132232253111111111111111111731111111111111111132223222431111111111111111731111111111111111113353111111111111111111173111111111111111111132223222531111111111111111111173111111111111111111113322222431111111111111111111117311111111111111111111132232243111111111111111111111173111111111111111111111322232224311111111111111111111117311111111111111111111113343111111111111111111111731111111111111111111111322223531111111111111111111111173111111111111111111111113223225311111111111111111111111117311111111111111111111111322232225311111111111111111111111173111111111111111111111111332222531111111111731111111111111111111111111335311111111111111111111111111731111111111111111111111111322222353111111111111111111111111117311111111111111111111111111332253173111111111111111111111111113223225311111111111111111111111117311111111111111111111111111322232225311111111111111111111111117. Voorbeeld: invoertape = ^1 1 1 0 1 1 1 1 1 1 0 ; Uitvoertape = ^1 1 1 0 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0