domingo, 27 de abril de 2008

Maquina de Turing generadora

L={ anb2nan, con n mayor o igual a 0} .


En la cinta 2, se mostrarán las cadenas generadas del lenguaje.
Se empieza en q1.











































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

{q2, (1, R), (B, Z)}
{q3, (1, L), (a, R)}
q3
{q3, (0, L), (b, R)}
{q3, (1, L), (a, R)}
{q4, (B, R), (B, Z)}
q4
{q4, (0, R), (b, R)}
{q4, (1, R), (a, R)}
{q5, (B, L), (#, R)}
q5
{q5, (0, L), (B, Z)}
{q5, (1, L), (B, Z)}
{q1, (0, R), (B, Z)}

1 comentario:

Raul dijo...

Hemos estado probando vuestra MT y parece que va todo bien aunque creemos que le falta generar la cadena vacía. Vosotros empezais generando la cadena "abba", antes de esa cadena tendría que ir la cadena "##" y luego ya "abba".Algo así: "##abba#aabbbbaa#"