Maschine von Turing, das eine Zahl auf einem grenzenlosen Klebeband sucht
Zustand fängt sie an: das testina des Messwertes und des Schreibens kann posizionata auf einer Zelle sein, welches des Klebebandes.
Zustand finale: das testina des Messwertes und des Schreibens ist posizionata auf der weniger sinnvollen Abbildung des n°.
Beschreibung Algorithmus: da das Klebeband grenzenlos ist, die Suche des n° pu², zum nur zu geschehen nicht in einer Rückseite in, wieviel, wenn dieses falsch ist, nie sich nicht oben das n° selben verfängt. Die Suche geschieht, die 2 Schritte wechselnd:
A) Suche des n° zum sx mit riscrittura des X Geschenkes und Schreiben von einem X anstatt des freien Raumes 1°, der dem X folgt.
B) Suche des n° zum dx mit riscrittura des X Geschenkes und Schreiben von einem X anstatt des freien Raumes 1°, der dem X folgt.
Wenn das n° es gekennzeichnet kommt, annulliert kommt dem ganzem X, das auf dem Klebeband und uns posiziona auf der weniger sinnvollen Abbildung des n° eingesetzt wird.
Matrix bearbeitet sie
| b |
X |
" zu ? Zu |
Beschreibung |
|
| qo |
Sx X q1 |
Dx X q0 |
zum sx q2 |
Einfügung von einem X zum dx anstatt des freien Raumes 1° |
| q1 |
Dx X q0 |
Sx X q1 |
zum dx q3 |
Einfügung von einem X zum sx anstatt des freien Raumes 1° |
| q2 |
b q2 dx |
b q2 sx |
zum dx q4 |
es annulliert das X zum sx und zum posiziona auf der sinnvolleren Abbildung |
| q3 |
b q3 sx |
b q3 dx |
zum dx q4 |
es annulliert das X zum dx und zum posiziona auf dem freien Raum, der zur weniger sinnvollen Abbildung aufeinanderfolgend ist |
| q4 |
b q5 sx |
zum dx q4 |
posiziona auf der weniger sinnvollen Abbildung |
|
| q5 |
Beispiel von computazione von zieht fest
| b |
1 |
2 |
b |
b |
b |
b |
b bbbbbbb |
b |
b |
b |
1 |
2 |
b |
b |
| b |
1 |
2 |
b |
q0 |
b |
b |
b |
b |
b |
q0 |
b |
1 |
2 |
b |
|
| b |
1 |
2 |
q1 |
b |
X |
b |
b |
b |
q1 |
b |
X |
1 |
2 |
b |
|
| b |
1 |
2 |
X |
q0 |
X |
b |
b |
b |
X |
q0 |
X |
1 |
2 |
b |
|
| b |
1 |
2 |
X |
X |
q0 |
b |
b |
b |
X |
X |
q0 |
1 |
2 |
b |
|
| b |
1 |
2 |
X |
q1 |
X |
X |
b |
b |
X |
q2 |
X |
1 |
2 |
b |
|
| b |
1 |
2 |
q1 |
X |
X |
X |
b |
b |
q2 |
X |
b |
1 |
2 |
b |
|
| b |
1 |
q1 |
2 |
X |
X |
X |
b |
q2 |
b |
b |
b |
1 |
2 |
b |
|
| b |
1 |
2 |
q3 |
X |
X |
X |
b |
b |
q2 |
b |
b |
1 |
2 |
b |
|
| b |
1 |
2 |
b |
q3 |
X |
X |
b |
b |
b |
q2 |
b |
1 |
2 |
b |
|
| b |
1 |
2 |
b |
b |
q3 |
X |
b |
b |
b |
b |
q2 |
1 |
2 |
b |
|
| b |
1 |
2 |
b |
b |
b |
q3 |
b |
b |
b |
b |
1 |
q4 |
2 |
b |
|
| b |
1 |
2 |
b |
b |
q3 |
b |
b |
b |
b |
b |
1 |
2 |
q4 |
b |
|
| b |
1 |
2 |
b |
q3 |
b |
b |
b |
b |
b |
b |
1 |
q5 |
2 |
b |
|
| b |
1 |
2 |
q3 |
b |
b |
b |
b |
||||||||
| b |
1 |
q3 |
2 |
b |
b |
b |
b |
||||||||
| b |
1 |
2 |
q4 |
b |
b |
b |
b |
||||||||
| b |
1 |
q5 |
2 |
b |
b |
b |
b |