Ejercicio 2

Teniendo en cuenta la siguiente tabla de transicin de una mquina de Mealy, realice:

Tabla de transicin

Tabla de salida

1. Identifique los componentes de la Mquina (descrbala).

Los componentes de la mquina de Mealy son 6-tupla: M = (Q, , , q0, , )

En donde:
Q = 4 Estados {q0, q1, q2, q3}
=Alfabeto de entrada {0,1}
= Alfabeto de salida {0,1}
q0= Estado inicial que pertenece a Q
= Funcin de transicin
= Funcin de salida

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.

A continuacin, observaremos el recorrido paso a paso de la cadena 1001001011 en

donde probaremos que nuestra maquina la aceptara como vlida. En la siguiente imagen
nos encontramos con nuestro maquina en estado inicial, eso quiere decir sin haber
recibido el primer carcter de la cadena.

Imagen 1 Paso a paso cadena 1001001011 Ejercicio 2, paso cero

Al ingresar nuestro primer smbolo del alfabeto en el estado q0 el cual es 1, la Maquina
valida la informacin y da un smbolo del alfabeto de salida que para este caso es 0, el
cual se ve reflejado en la cinta de transicin y nos quedamos en el mismo estado q0,
como lo indica la transicin.

Imagen 2 Paso a paso cadena 1001001011 Ejercicio 2, paso uno

Al ingresar nuestro smbolo 0, la maquina vuelve a validar la condicin y en esta

ocasin nos trasladamos al estado q1 y nos genera una respuesta de salida con el
smbolo 1, el cual se ve reflejado en la cinta de transicin.

Imagen 3 Paso a paso cadena 1001001011 Ejercicio 2, paso dos

Seguimos ingresando ms smbolos de nuestra cadena, ahora se ingresa nuevamente
otro 0 el cual nos permite pasar al estado q3 y con un smbolo de salida 1; el cual se
almacena en la cinta de validacin.

Imagen 4 Paso a paso cadena 1001001011 Ejercicio 2, paso tres

Seguidamente se ingresa el smbolo 1 el cual es validado y nos desplazamos al estado q1

como lo indica la transicin y nos genera un smbolo de salida de 0.

Imagen 5 Paso a paso cadena 1001001011 Ejercicio 2, paso cuatro

Ingresamos otro 0 de nuestra cadena a validar y esto nos permite retornar al estado q3 tal
cual como lo indica el proceso de transicin de nuestro diagrama, retornando un valor
de salida de 1 el cual se observa en la cinta

Imagen 6 Paso a paso cadena 1001001011 Ejercicio 2, paso cinco

Luego a nuestra maquina ingresamos un nuevo smbolo el cual es 0, aqu pasamos del
estado q3 al estado q2 segn nuestro proceso de transicin; as mismo, nos genera un
smbolo de salida de 0.

Imagen 7 Paso a paso cadena 1001001011 Ejercicio 2, paso seis

Estando en el estado q2 nuestra maquina detecta un nuevo smbolo de entrada el cual es

1, por lo tanto, al ser validado y siguiendo las reglas de nuestras transiciones nos
quedamos nuevamente en el mismo estado actual, pero con el smbolo de entrada se
genera un smbolo de salida que es 1.

Imagen 8 Paso a paso cadena 1001001011 Ejercicio 2, paso siete

Para pasar del estado q2 al estado q1 como lo indica la transicin, la maquina recibe
como smbolo de entrada el 0 y este a su vez generara un smbolo de salida de 0

Imagen 9 Paso a paso cadena 1001001011 Ejercicio 2, paso ocho

Al ingresar el smbolo 1 de nuestro alfabeto de entrada, la maquina se desplaza al estado

q0, generando un smbolo de salida de 1; el cual cmo podemos evidenciar se almacena
en la cinta y de esta manera se nos est generando otra cadena y esto se debe a que por
cada smbolo de entrada l nos da un smbolo de salida diferente o igual al de entrada.

Imagen 10 Paso a paso cadena 1001001011 Ejercicio 2, paso nueve

Por ultimo cuando la mquina de Mealy detecta que ha ingresado el ultimo 1 de la

cadena a validar, esta genera un carcter de salida el cual es 0 y al no existir ms
caracteres la cadena se valida y es aceptada; quedando en la cinta la siguiente cadena de
salida 0110101010.

Imagen 11 Paso a paso cadena 1001001011 Ejercicio 2, paso diez

4. Explique cinco caractersticas de la Mquina de Mealy y encuentre cinco
diferencias con las Mquinas de Moore.

Caractersticas de la Maquina de Mealy:

Es una mquina de estados finita.
Las salidas estn determinadas por el estado actual y la entrada.
En el diagrama de estados se incluye una seal de salida para cada arista de
transicin.
Para cada mquina de Mealy hay una mquina de Moore equivalente y viceversa.
Las mquinas de Mealy suministran un modelo matemtico rudimentario para las
mquinas de cifrado.

Diferencias entre la maquina Mealy y Moore

tem Mquina de Mealy Mquina de Moore

1 La salida depende del estado La salida depende solo del

actual y de las entradas. estado actual.

2 Por lo regular Tiene menos El nmero de estados es

nmeros de estados. mayor o igual a la mquina
de Mealy.

3 Es menos estable. Es ms estable.

4 Para probar un circuito, Para probar un circuito,

primero se hace el cambio en primero se da el pulso de
 la entrada X y despus se da reloj y despus se hace el
el pulso de reloj. cambio en la entrada X.

5 Las salidas se encuentran en Las salidas se encuentran

la arista. dentro del estado.