Emplacement Visité 498798 periodes Page Visitee 70 periodes Vous Etes ici: Etantonio/FR/Universita/1anno/FondamentiInformatica/ModelliCalcolo/Turing/     

Machine de Turing qui inverse un ordre binaire

L'état les commence : le testina de la lecture et de l'écriture est posizionata du côté gauche du peu plus signicatif

Finale d'état : le testina de la lecture et de l'écriture est posizionata sur le blanc ce precedeil le peu plus signicatif

Algorithme de description :

) on est specchiatura effectué du n° binaire avec l'axe de rotation autour au peu plus signicatif et à la substitution copiée du peu avec l'autant de *.

b) le chiffre est remplacé que précède le 1° * avec un autre * et il est allé transcrire au lieu de dernier *

c) est retourné au 1° *, s'il est un n° est retourné à l'étape b tandis que si c'est un blanc ils décommandent tous * au bon péché quand ne rattrape pas un peu et il est fini.

Matrix les fonctionne

 

b

0

1

*

description

qo

 

* sx q2

* sx q1

 

l'état les commence

q1

1 dx q3

0 sx q1

1 sx q1

 

Je remplace avec 1 1° blanc qui la rencontre allant du côté gauche

q2

0 dx q3

0 sx q2

1 sx q2

 

Je remplace avec 0 1° blancs qui la rencontre allant du côté gauche

q3

 

0 dx q3

1 dx q3

* dx q4

J'essaye le premier * vers la droite

q4

dx de b q5

* sx q2

* sx q1

* dx q4

J'essaye dernier * vers la droite

q5

b q10dx

* dx q8

* dx q6

* sx q5

Je remplace avec * le nombre 1ª du côté gauche de * si c'est un blanc sort alors du cycle

q6

sx de b q7

0 sx q7

1 sx q7

* dx q6

J'essaye dernier * vers la droite afin de la remplacer avec 1

q7

     

1 sx q5

Je remplace avec 1 dernier * vers la droite

q8

sx de b q9

0 sx q9

1 sx q9

* dx q8

J'essaye dernier * vers la droite afin de la remplacer avec 0

q9

     

0 sx q5

Je remplace avec 0 dernier * vers la droite

q10

 

0 sx q11

1 sx q11

b q10dx

Je remplace tous * avec le blanc

q11

       

But

L'exemple du computazione de serre

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