Maschine von Turing, das eine binäre Reihenfolge
umkehrt
Zustand fängt sie an: das testina
des Messwertes und des Schreibens ist posizionata auf dem links der
sinnvolleren Spitze
Zustand finale: das testina des
Messwertes und des Schreibens ist posizionata auf freiem Raum dieses
precedeil die sinnvollere Spitze
Beschreibung Algorithmus:
) ist man durchgeführtes specchiatura
des n°, das mit Drehbeschleunigungmittellinie herum zur sinnvolleren
Spitze und zum kopierten Ersatz der Spitze mit da vielem *. binär
ist
B) wird der Abbildung die
vorangeht das 1° ersetzt * mit anderem * und es wird gegangen, um
anstatt des letzten zu übertragen *
c) wird zum 1° zurückgebracht
*, wenn es ist, wird ein n° zum Schritt b zurückgebracht, während,
wenn es leerIST, sie alle annullieren * zur rechten Sünde, wenn sich
nicht oben eine Spitze verfängt und sie beendet wird.
Matrix bearbeitet sie
|
b |
0 |
1 |
* |
Beschreibung |
qo |
|
* sx q2 |
* sx q1 |
|
Zustand fängt sie an |
q1 |
1 dx q3 |
0 sx q1 |
1 sx q1 |
|
Ich ersetze mit 1 1°, das unbelegt ist, das das
Treffen, das auf das links geht |
q2 |
0 dx q3 |
0 sx q2 |
1 sx q2 |
|
Ich ersetze mit 0 1°, das unbelegt ist, das das
Treffen, das auf das links geht |
q3 |
|
0 dx q3 |
1 dx q3 |
* dx q4 |
Ich versuche das erste * rechts |
q4 |
b q5 dx |
* sx q2 |
* sx q1 |
* dx q4 |
Ich versuche das letzte * rechts |
q5 |
b q10dx |
* dx q8 |
* dx q6 |
* sx q5 |
Ich ersetze mit * die Zahl 1ª auf dem links von *
wenn es herausnimmt dann vom Zyklus leerIST |
q6 |
b q7 sx |
0 sx q7 |
1 sx q7 |
* dx q6 |
Ich versuche das letzte * rechts, um es mit 1 zu
ersetzen |
q7 |
|
|
|
1 sx q5 |
Ich ersetze mit 1 das letzte * rechts |
q8 |
b q9 sx |
0 sx q9 |
1 sx q9 |
* dx q8 |
Ich versuche das letzte * rechts, um es mit 0 zu
ersetzen |
q9 |
|
|
|
0 sx q5 |
Ich ersetze mit 0 das letzte * rechts |
q10 |
|
0 sx q11 |
1 sx q11 |
b q10dx |
Ich ersetze alle * mit freiem Raum |
q11 |
|
|
|
|
Ziel |
Beispiel von computazione von zieht fest
b |
b |
b |
b |
q0 |
1 |
0 |
0 |
b |
|
b |
0 |
0 |
* |
* |
* |
q7 |
* |
b |
b |
b |
b |
q1 |
b |
* |
0 |
0 |
b |
|
b |
0 |
0 |
* |
* |
q5 |
* |
1 |
b |
b |
b |
b |
1 |
q3 |
* |
0 |
0 |
b |
|
b |
0 |
0 |
* |
q5 |
* |
* |
1 |
b |
b |
b |
b |
1 |
* |
q4 |
0 |
0 |
b |
|
b |
0 |
0 |
q5 |
* |
* |
* |
1 |
b |
b |
b |
b |
1 |
q2 |
* |
* |
0 |
b |
|
b |
0 |
q5 |
0 |
* |
* |
* |
1 |
b |
b |
b |
b |
q2 |
1 |
* |
* |
0 |
b |
|
b |
0 |
* |
q8 |
* |
* |
* |
1 |
b |
b |
b |
q2 |
b |
1 |
* |
* |
0 |
b |
|
b |
0 |
* |
* |
q8 |
* |
* |
1 |
b |
b |
b |
0 |
q3 |
1 |
* |
* |
0 |
b |
|
b |
0 |
* |
* |
* |
q8 |
* |
1 |
b |
b |
b |
0 |
1 |
q3 |
* |
* |
0 |
b |
|
b |
0 |
* |
* |
* |
* |
q8 |
1 |
b |
b |
b |
0 |
1 |
* |
q4 |
* |
0 |
b |
|
b |
0 |
* |
* |
* |
q9 |
* |
1 |
b |
b |
b |
0 |
1 |
* |
* |
q4 |
0 |
b |
|
b |
0 |
* |
* |
q5 |
* |
0 |
1 |
b |
b |
b |
0 |
1 |
* |
q2 |
* |
* |
b |
|
b |
0 |
* |
q5 |
* |
* |
0 |
1 |
b |
b |
b |
0 |
1 |
q2 |
* |
* |
* |
b |
|
b |
0 |
q5 |
* |
* |
* |
0 |
1 |
b |
b |
b |
0 |
q2 |
1 |
* |
* |
* |
b |
|
b |
q5 |
0 |
* |
* |
* |
0 |
1 |
b |
b |
b |
q2 |
0 |
1 |
* |
* |
* |
b |
|
b |
* |
q8 |
* |
* |
* |
0 |
1 |
b |
b |
q2 |
b |
0 |
1 |
* |
* |
* |
b |
|
b |
* |
* |
q8 |
* |
* |
0 |
1 |
b |
b |
0 |
q3 |
0 |
1 |
* |
* |
* |
b |
|
b |
* |
* |
* |
q8 |
* |
0 |
1 |
b |
b |
0 |
0 |
q3 |
1 |
* |
* |
* |
b |
|
b |
* |
* |
* |
* |
q8 |
0 |
1 |
b |
b |
0 |
0 |
1 |
q3 |
* |
* |
* |
b |
|
b |
* |
* |
* |
q9 |
* |
0 |
1 |
b |
b |
0 |
0 |
1 |
* |
q4 |
* |
* |
b |
|
b |
* |
* |
q5 |
* |
0 |
0 |
1 |
b |
b |
0 |
0 |
1 |
* |
* |
q4 |
* |
b |
|
b |
* |
q5 |
* |
* |
0 |
0 |
1 |
b |
b |
0 |
0 |
1 |
* |
* |
* |
q4 |
b |
|
b |
q5 |
* |
* |
* |
0 |
0 |
1 |
b |
b |
0 |
0 |
1 |
* |
* |
q5 |
* |
b |
|
q5 |
b |
* |
* |
* |
0 |
0 |
1 |
b |
b |
0 |
0 |
1 |
* |
q5 |
* |
* |
b |
|
b |
q10 |
* |
* |
* |
0 |
0 |
1 |
b |
b |
0 |
0 |
1 |
q5 |
* |
* |
* |
b |
|
b |
b |
q10 |
* |
* |
0 |
0 |
1 |
b |
b |
0 |
0 |
q5 |
1 |
* |
* |
* |
b |
|
b |
b |
b |
q10 |
* |
0 |
0 |
1 |
b |
b |
0 |
0 |
* |
q6 |
* |
* |
* |
b |
|
b |
b |
b |
b |
q10 |
0 |
0 |
1 |
b |
b |
0 |
0 |
* |
* |
q6 |
* |
* |
b |
|
b |
b |
b |
q11 |
b |
0 |
0 |
1 |
b |
b |
0 |
0 |
* |
* |
* |
q6 |
* |
b |
|
|
|
|
|
|
|
|
|
|
b |
0 |
0 |
* |
* |
* |
* |
q6 |
b |
|
|
|
|
|
|
|
|
|
|