Castro Snchez Jess Antonio

Mealy & Moore

Mquina de Refrescos
* Dicha maquina nicamente reconocer monedas de $5 y $10.
* No se pueden insertar dos monedas a la vez.
* Se requiere que dicha maquina emita una seal que indique que la maquina est lista para ser usada.
* Se requiere que la maquina indique al usuario que inserte la siguiente moneda
* Un lugar especfico para entregar cambio.
* Lugar especfico para entregar refresco.

Refresco $10
X1= $10
X2=$5
Maquina Lista= L
Inserta moneda= I
Cambio= C
Entrega Refresco= E
Entradas: x1, x2
Salidas: L,I,C,E

Diagrama de estados con Moore

Entrada

Estado Actual

X1 X2
00
00
00
00
01
01
01
01
10
10
10
10

Q1 Q0
00
01
10
11
00
01
10
11
00
01
10
11

Estado
Siguiente
Q1 Q0
00
01
00
00
01
10
00
00
10
11
00
00

Salidas
LICE
1000
1100
1000
1000
1100
1001
1000
1000
1001
1011
1000
1000

Estado
Actual
Q1 Q0
00
01
10
11
00
01
10
11
00
01
10
11

Estado
Siguiente
Q1 Q0
00
01
00
00
01
10
00
00
10
11
00
00

Flip
Flop 1
J0 K0
0*
0*
*0
*0
0*
1*
*0
*0
1*
1*
*0
*0

Flip
Flop 2
J1 K1
0*
*1
0*
*0
1*
*0
0*
*0
0*
*1
0*
*0

Salidas
LICE
1000
1100
1000
1000
1100
1001
1000
1000
1001
1011
1000
1000

Q
0
0
1
1

Q+1
0
1
0
1

J
0
1
*
*

J0=X2Q0+Q1
K0=
J1=
K1=
L=1

K
*
*
0
1

Diagrama de estados con Mealy

Entrada

Estado Actual

X1 X2
00
00
00
00
01
01
01
01
10
10
10
10

Q1 Q0
00
01
10
11
00
01
10
11
00
01
10
11

Estado
Siguiente
Q1 Q0
00
01
00
00
01
10
00
00
10
11
00
00

Salidas
LICE
1000
1100
1001
1011
1100
1000
1001
1011
1000
1000
1001
1011

Estado
Actual
Q1 Q0
00
01
10
11
00
01
10
11
00
01
10
11

Estado
Siguiente
Q1 Q0
00
01
00
00
01
10
00
00
10
11
00
00

Flip
Flop 1
J0 K0
0*
0*
*0
*0
0*
1*
*0
*0
1*
1*
*0
*0

Flip
Flop 2
J1 K1
0*
*1
0*
*0
1*
*0
0*
*0
0*
*1
0*
*0

Salidas
LICE
1000
1100
1001
1011
1100
1000
1001
1011
1000
1000
1001
1011

Q
0
0
1
1

J0=X2Q0+Q1
K0=
J1=
K1=
L=1

Q+1
0
1
0
1

J
0
1
*
*

K
*
*
0
1