APORTE 1

LUIS CARLOS CABAL ROJAS

AUTOMATAS Y LENGUAJES FORMALES
Ejercicio 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 0

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

S=conjunto finito de estado {q0,q1,q2,q3}
S0=estado inicial {q0}
∑=alfabeto de entrada {q0, q1, q2, q3}
Λ=alfabeto de salida {0,1}
T=conjunto de transición

tra 0 0
q0 q1 1
q1 q3 1
q2 q1 0
q3 q2 0

R=transición de salida

res 1 1
q0 q0 0
q1 q0 1
q2 q2 1
q3 q1 0
 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.

Cadena valida:00001

Cuando es 0, pasa a q1, con 0 pasa a q3, con 0 pasa a q2, con 0 pasa a q1 y con 1 pasa
a q0
 4. Realice la conversión paso a paso de máquina de Mealy a máquina de Moore

MAQUINA MEALY
  0 1
  estado salida estad salida
o
q0 q1 1 q0 0
q1 q3 1 q0 1
q2 q1 0 q2 1
q3 q2 0 q1 0

POSIBLES ESTADOS
q0
q11
q00
q31
q10
q01
q21
q20
 MAQUINA MOORE
  0 1
  estado salida estad salida
o
q0 q11 1 q0 0
0
q00 q11 1 q0 0
0
q01 q11 1 q0 0
0
q10 q31 1 q0 1
1
q11 q31 1 q0 1
1
q20 q10 0 q2 1
1
q21 q10 0 q2 1
1
q31 q20 0 q1 0
0

FUNCIÓN TRANSICIÓN
FUNCIÓN SALIDA
T 0 1 S 0 1
q0 q11 1 q0 q00 0
q00 q11 1 q00 q00 0
q01 q11 1 q01 q00 0
q10 q31 1 q10 q01 1
q11 q31 1 q11 q01 1
q20 q10 0 q20 q21 1
q21 q10 0 q21 q21 1
q31 q20 0 q31 q10 0
 5. Explique cinco características de la Máquina de Mealy y encuentre cinco
diferencias con las Máquinas de Moore.

MÁQUINA DE MEALY
 Una máquina de Mealy es una MEF cuya salida depende del estado actual, así
como la entrada actual.
 Una máquina de Moore puede ser descrita por un 6 tupla
 Las máquinas de Mealy suministran un modelo matemático rudimentario y
eficiente para las máquinas de cifrado
 para cada Máquina de Mealy hay una máquina de Moore equivalente cuyos
estados son la unión de los estados de la máquina de Mealy y el Producto
cartesiano de los estados de la máquina de Mealy y el alfabeto de entrada.
 El nombre "Máquina de Mealy" viene del promotor del concepto: George H. Mealy,
un pionero de las máquinas de estados, quien escribió Un Método para sintetizar
Circuitos Secuenciales

Diferencias de máquina de mealy con máquina de moore

MÁQUINA DE MEALY
Salida depende tanto de la
situación y de entrada actual.
En general, tiene menos
estados que la máquina de
Moore.
La salida cambia en los flancos
de reloj.
Máquina de Mealy reaccionan
más rápido a las entradas.
MOORE MÁQUINA
De salida sólo depende de la situación actual.
Por lo general, tiene más estados que la máquina de Mealy.
Cambio de entrada puede causar un cambio en el cambio de
salida tan pronto como se hace la lógica.
En las máquinas de Moore, se necesita más lógica para
descodificar las salidas ya que cuenta con más retrasos de
circuito.