Aporte Mayerly Castrillon Viuche - 1119215798

TERCER EJERCICIO: DISEO DE UNA MT QUE ACEPTE:

Actividades a desarrollar:
Disee un Transductor (MAQUINA DE MEALY) que realice la misma transduccin
del ejercicio anterior.
1.

Identifique los componentes de la Mquina (descrbala).

La mquina de Mealy o tambin conocida como el transductor de estados finito y que

genera una salida, se define por una 6-tupla tal como:
M = Q , , , q 0, , >

En donde:
Q : Es el conjunto finito de estados
: Es el alfabeto de entrada

: Es el alfabeto de salida
q 0 Q: Un estado de Q en el cual inicia la computacin

: Es la funcin de transicin
: Es la funcin de =Qx

salida

Por ejemplo:
Q: {q 0 , q 1 , q 2 , q 3 }
:{0,1}
: {0,1}
: {( q0 ,1,0 ) , ( q0 , 0,0 ) , ( q1 , 1,0 ) , ( q1 , 0,0 ) , ( q 2 , 1,0 ) , ( q2 , 0,0 ) , ( q 3 , 1,1 ) ,(q 3 ,0,0) }

2. Disela en diagrama (Mquina de Mealy).

3. Recorra la mquina con al menos una cadena vlida explicando lo sucedido tanto en la
cinta como en la secuencia de entrada.
4. Identifique una cadena que no sea vlida y justifquela porque.

Aporte Mayerly Castrillon Viuche - 1119215798

5. Ejecute el RunTest a una cadena aceptada que tenga al menos tres smbolos
6. Identifique en que momento la mquina se detiene.
7. Explique cinco caractersticas de la Mquina de Mealy y encuentre cinco diferencias con
las Mquinas de Turing (MT).