Cinta de salida:B00000B
A continuación ponemos la tabla de transición de la MT "normal". El cabezal inicialmente está posicionado sobre el primer cero. El estado final es el q8.
| Principal | 0 | 1 | $ | B |
| q0 | (q0, 0, R) | (q0, 1, R) | (q1, $, L) | |
| q1 | (q1, 0, L) | (q1, 1, L) | (q2, B, R) | |
| q2 | (q3, B, R) | |||
| q3 | (q3, B, R) | (q4, B, R) | (q7, B, R) | |
| q4 | (q4, 0, R) | (q4, 1, R) | (q5, $, R) | |
| q5 | (q5, 0, R) | (q6, 0, L) | ||
| q6 | (q6, 0, L) | (q6, 1, L) | (q6, $, L) | (q2, B, R) |
| q7 | (q7, 0, R) | (q8, 0, R) | ||
| q8 |
La tabla de transición siguiente, corresponde al modelo de Máquina de Turing multicinta para resolver el mismo problema que el anterior. En la cinta 2 guardamos la salida.
| Multicinta | (0, B) | (1, B) | (B, B) |
| q0 | {q1, (0, R), (0, R)} | ||
| q1 | {q1, (0, R), (B, Z)} | {q0, (1, R), (B, Z)} | {q2, (B, Z), (B, Z)} |
| q2 |
No hay comentarios:
Publicar un comentario