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 |
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 |
|
|
|
|
|
|
|
|
|
|