Sitio Visitado 498534 vueltas Pagina Visitada 32 vueltas Usted esta en : Etantonio/ES/Universita/1anno/FondamentiInformatica/ModelliCalcolo/Turing/     

Mquina de Turing que invierte una secuencia binaria

El estado los comienza: el testina de la lectura y de la escritura es posizionata en la izquierda del pedacito ms significativo

Finale del estado: el testina de la lectura y de la escritura es posizionata en espacio en blanco ese precedeil el pedacito ms significativo

Algoritmo de la descripcin:

a) uno es specchiatura realizado de la n binaria con eje de la vuelta alrededor al pedacito ms significativo y a la substitucin copiada del pedacito con tanto *.

b) la figura se substituye que precede el 1 * con un otro * y se va para transcribir en lugar la pasada *

c) se vuelve al 1 *, si es una n se vuelve al paso b mientras que si es un espacio en blanco cancelan todos * al pecado derecho cuando no coge para arriba un pedacito y se acaba.

La matriz los trabaja

 

b

0

1

*

descripcin

qo

 

* sx q2

* sx q1

 

el estado los comienza

q1

1 dx q3

0 sx q1

1 sx q1

 

Substituyo por 1 1 en blanco ese el encuentro que va a la izquierda

q2

0 dx q3

0 sx q2

1 sx q2

 

Substituyo por 0 1 en blanco ese el encuentro que va a la izquierda

q3

 

0 dx q3

1 dx q3

* dx q4

Intento primer * a la derecha

q4

dx de b q5

* sx q2

* sx q1

* dx q4

Intento el pasado * a la derecha

q5

b q10dx

* dx q8

* dx q6

* sx q5

Substituyo por * el 1 nmero en la izquierda de * si es un espacio en blanco entonces sale del ciclo

q6

sx de b q7

0 sx q7

1 sx q7

* dx q6

Intento el pasado * a la derecha para substituirla por 1

q7

     

1 sx q5

Substituyo por 1 el pasado * a la derecha

q8

sx de b q9

0 sx q9

1 sx q9

* dx q8

Intento el pasado * a la derecha para substituirla por 0

q9

     

0 sx q5

Substituyo por 0 el pasado * a la derecha

q10

 

0 sx q11

1 sx q11

b q10dx

Substituyo todos * con el espacio en blanco

q11

       

Puntera

El ejemplo del computazione de aprieta

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