domingo, 27 de abril de 2008

Máquina de Turing para saber si un bloque de ceros está ordenador crecientemente

Ejemplo de cadena que debe aceptar: B01000010000000B

Ejemplo de cadena que debe rechazar: B010000100B

















































































































































Principal
0
1
$
B
X
q0
(q1, B, R)


(q2, 0, L)

q1
(q1, 0, R)
(q1, 1, R)

(q0, $, R)

q2
(q2, 0, L)
(q2, 1, L)
(q2, $, L)
(q3, B, R)

q3
(q4, B, R)
(q5, B, R)
(q13, B, R)


q4
(q4, 0, R)
(q4, 1, R)
(q4, $, R)
(q2, 0, L)

q5
(q6, X, R)
(q9, 1, R)



q6
(q6, 0, R)
(q6, 1, R)
(q6, $, R)
(q7, B, L)

q7
(q8, B, L)

(q11, $, L)


q8
(q8, 0, L)
(q8, 1, L)
(q8, $, L)

(q5, X, R)
q9
(q9, 0, R)
(q9, 1, R)
(q10, $, R)


q10



(q11, B, L)

q11
(q11, 0, L)
(q11, 1, L)
(q11, $, L)

(q12, 0, L)
q12



(q3, B, R)
(q12, 0, L)
q13
(q13, B, R)


(q14, B, L)

q14





























































Multicabezal
(0, 0)
(1, 0)
(0, 1)
(1, 1)
(0, B)
(1, B)
q0
{q0, (0, Z), (0, R)}

{q1, (0, Z), (1, R)



q1
{q1, (0, R), (0, R)}
{q2, (1, R), (0, R)}

{q1, (1, R), (1, R)}
{q3, (0, Z), (B, Z)}
{q3, (1, Z), (B, Z)}
q2
{q2, (0, Z), (0, R)}

{q1, (0, Z), (1, R)}



q3






No hay comentarios: