Aufstellungsort Besichtigt 494263 zeiten Seite Besucht 18 zeiten Sie sind hier : Etantonio/DE/Universita/1anno/FondamentiInformatica/ModelliCalcolo/Turing/     

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

b

1

0

0

b

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