Actividad 2:

Teniendo en cuenta la siguiente tabla de transición de una máquina de Mealy, realice:

f Entrada

Estado 0 1

q0 q1 q0

q1 q3 q0

q2 q1 q2

q3 q2 q1

G Entrada

Estado 0 1

q0 1 0

q1 1 1

q2 0 1

q3 0 1

1. Identifique los componentes de la Máquina (descríbala).

Los componentes de la máquina 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
δ = Función de transición
β = Función de salida
2. Diséñela en diagrama (Máquina de Mealy).

3. Recorra la máquina con al menos una cadena válida explicando lo sucedido tanto en la
cinta como en la secuencia de entrada.
A continuación, observaremos el recorrido paso a paso de la cadena 10010011 en
donde probaremos que nuestra maquina la aceptara como válida. En la siguiente
imagen nos encontramos con nuestro maquina en estado inicial, eso quiere decir sin
haber recibido el primer carácter de la cadena.
Al ingresar nuestro primer símbolo del alfabeto en el estado q0 el cual es 1, la Maquina
valida la información y da un símbolo del alfabeto de salida que para este caso es 0, el
cual se ve reflejado en la cinta de transición y nos quedamos en el mismo estado q0,
como lo indica la transición.

Al ingresar nuestro símbolo 0, la maquina vuelve a validar la condición y en esta

ocasión nos trasladamos al estado q1 y nos genera una respuesta de salida con el
símbolo 1, el cual se ve reflejado en la cinta de transición.
Seguimos ingresando más símbolos de nuestra cadena, ahora se ingresa nuevamente
otro 0 el cual nos permite pasar al estado q3 y con un símbolo de salida 1; el cual se
almacena en la cinta de validación.

Seguidamente se ingresa el símbolo 1 el cual es validado y nos desplazamos al estado

q1 como lo indica la transición y nos genera un símbolo de salida de 1.
Ingresamos otro 0 de nuestra cadena a validar y esto nos permite retornar al estado q3
tal cual como lo indica el proceso de transición de nuestro diagrama, retornando un
valor de salida de 1 el cual se observa en la cinta

Luego a nuestra maquina ingresamos un nuevo símbolo el cual es 0, aquí pasamos del
estado q3 al estado q2 según nuestro proceso de transición; así mismo, nos genera un
símbolo de salida de 0.
Estando en el estado q2 nuestra maquina detecta un nuevo símbolo 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 símbolo de entrada se
genera un símbolo de salida que es 1.

Para pasar del estado q2 al estado q1 como lo indica la transición, la maquina recibe
como símbolo de entrada el 0 y este a su vez generaría un símbolo de salida de 0
 Al ingresar el símbolo 1 de nuestro alfabeto de entrada, la maquina se desplaza al
estado q0, generando un símbolo de salida de 1; el cual cómo 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 símbolo de entrada él nos da un símbolo de salida diferente o igual al de
entrada.

Por ultimo cuando la máquina de Mealy detecta que ha ingresado el ultimo 1 de la

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

4. Explique cinco características de la Máquina de Mealy y encuentre cinco diferencias

con las Máquinas de Moore.

Características de la Maquina de Mealy:

Es una máquina de estados finita.

Las salidas están determinadas por el estado actual y la entrada.
En el diagrama de estados se incluye una señal de salida para cada arista de transición.
Las máquinas de Mealy suministran un modelo matemático rudimentario para las máquinas
de cifrado.
Para cada máquina de Mealy hay una máquina de Moore equivalente y viceversa.