Para la máquina de Turing tradicional,en el estado q0 marcamos con una X el primer 0 y cambiamos al estado q1, ignora los 0 y va recorriendo la cadena hasta que encuentra un 1 sustituyendolo por un 0 y cambiando al estado q2 moviendose a la izquierda. Recorre todos los 0´s hasta que encuentre una X y cambia al estado q0 va hacia la derecha y no cambia el valor. Se repite el bucle hasta que encuentre el blanco, cambiando de estado a q3 y moviendose hacia la izquierda. Recorre hacia la izquierda cambiado los 0´s por blancos y las X por 0´s hasta que encuentra un blanco y va al estado final q5.
ENTRADA: ...B0001001001000100B...
SALIDA: ...B00000B...
| 0 | 1 | B | X | |
| q0 | (q1,X,R) | |||
| q1 | (q1,0,R) | (q2,0,L) | (q3,B,L) | |
| q2 | (q2,0,L) | (q0,X,R) | ||
| q3 | (q3,B,L) | (q4,B,R) | (q3,0,L) | |
| q4 |
1 comentario:
Despues de haber echo una serie de Descripciones Instantaneas con vuestra MT clásica para contar bloques de 0's, he visto que cumple el objetivo sin problemas.
La MT clásica es correcta.
Publicar un comentario