Directo

Electrónica Digital
Autómatas de Mealy y de Moore
www.passitedu.es

Enunciado: Se bombea agua a un depósito mediante dos bombas hidráulicas P1 y P2. Ambas
bombas deben activarse cuando el agua es inferior al Nivel 1, y deben permanecer encendidas hasta que el
agua alcanza el Nivel 2, momento en el que se apagará P1 de forma que debe permanecer apagada hasta
que el agua vuelva a bajar del Nivel 1. La bomba P2 permanece encendida hasta que se alcanza el Nivel 3, y
entonces se apaga también. Una vez apagada, P2 no se volverá a a encender hasta que el agua llegue por
debajo del Nivel 1. Se usan unos sensores de detención del nivel del agua de manera que:

– Señal a =1 cuando el nivel esté en el Nivel 1 o por encima. Si no a=0.

– Señal b=1 cuando el nivel esté en el Nivel 2 o por encima. Si no b=0.
– Señal c=1 cuando el nivel esté en el Nivel 3 o por encima. Si no c=0.

Supondremos también que nuestro sistema tiene la suficiente rapidez como para notar cambios bruscos en
el nivel de agua.

Este gráfico ilustra más o menos la situación del problema:

Ilustración 1: Gráfica de situación

Tablas de excitación:

Flip-flop SR Flip-flop JK Flip-flop D

Qn+ Qn+ Qn+
Qn S R Qn J K Qn D
1 1 1

0 0 0 x 0 0 0 x 0 0 0
0 1 1 0 0 1 1 x 0 1 1
1 0 0 1 1 0 x 1 1 0 0
1 1 x 0 1 1 x 0 1 1 1

Tabla 1: Tabla de excitación

Autómata de Moore:
Codificación de estados

P1 P2 Estado
0 0 A
0 1 B
1 1 C

Diagrama de estados

Tabla de transición de estados

Es Salidas
Ep
E0 E1 E2 E3 E4 E5 E6 E7 P1 P2
A C A A A A A A A 0 0

B C A A A B A B A 0 1

C C A A A C A B A 1 1

Tabla 2: Transición de estados

Obteniendo la entrada de los Flip-flop

 Codificación para las variables de estado

Estado q1 q2
A 0 0
B 0 1
C 1 1

Estado Estado Entradas del

Entradas Salidas
Presente Siguiente FF
q1 q2 a b c Q1 Q2 J1 K1 D2 P1 P2
0 0 0 0 0 1 1 1 x 1 0 0
0 0 0 0 1 0 0 0 x 0 0 0
0 0 0 1 0 0 0 0 x 0 0 0
0 0 0 1 1 0 0 0 x 0 0 0
0 0 1 0 0 0 0 0 x 0 0 0
0 0 1 0 1 0 0 0 x 0 0 0
0 0 1 1 0 0 0 0 x 0 0 0
0 0 1 1 1 0 0 0 x 0 0 0
0 1 0 0 0 1 1 1 x 1 0 1
0 1 0 0 1 0 0 0 x 0 0 1
0 1 0 1 0 0 0 0 x 0 0 1
0 1 0 1 1 0 0 0 x 0 0 1
0 1 1 0 0 0 1 0 x 1 0 1
0 1 1 0 1 0 0 0 x 0 0 1
0 1 1 1 0 0 1 0 x 1 0 1
0 1 1 1 1 0 0 0 x 0 0 1
1 1 0 0 0 1 1 x 0 1 1 1
1 1 0 0 1 0 0 x 1 0 1 1
1 1 0 1 0 0 0 x 1 0 1 1
1 1 0 1 1 0 0 x 1 0 1 1
1 1 1 0 0 1 1 x 0 1 1 1
1 1 1 0 1 0 0 x 1 0 1 1
1 1 1 1 0 0 1 x 1 1 1 1
1 1 1 1 1 0 0 x 1 0 1 1

Tabla 3: Obteniendo las entradas de los FF

Mapas de Karnaugh

abc
000 001 011 010 110 111 101 100
q1q2
00 1 0 0 0 0 0 0 0
01 1 0 0 0 0 0 0 0
11 x x x x x x x x
10 x x x x x x x x

Tabla 4: Mapa de Karnaugh - J1

abc
000 001 011 010 110 111 101 100
q1q2
00 x x x x x x x x
01 x x x x x x x x
11 0 1 1 1 1 1 1 0
10 x x x x x x x x

Tabla 5: Mapa de Karnaugh - K1

abc
000 001 011 010 110 111 101 100
q1q2
00 1 0 0 0 0 0 0 0
01 1 0 0 0 1 0 0 1
11 1 0 0 0 1 0 0 1
10 x x x x x x x x

Tabla 6: Mapa de Karnaugh - D2

Autómata de Mealy:

Diagrama de estados
Tabla de transición de estados

Es Salidas P1 P2
Ep
E0 E1 E2 E3 E4 E5 E6 E7 E0 E1 E2 E3 E4 E5 E6 E7
A A - - - B - - - 11 00 00 00 11 00 -- --

B A - - - B - C - 11 00 00 00 11 00 01 --

C - - - - G - C D -- 00 00 00 01 00 01 00

D - - - - - E D -- 00 00 00 -- 00 00 00

E - - - - F - E - -- 00 00 00 00 00 00 --

F A - - - F - - - 11 00 00 00 00 00 -- --

G A - - - G - C - 11 00 00 00 01 00 01 --

Tabla 7: Tabla de transición

Tabla de transición de estados (tras simplificación de estados)

 Es Salidas P1 P2
Ep
E0 E1 E2 E3 E4 E5 E6 E7 E0 E1 E2 E3 E4 E5 E6 E7
A A - - - A - C - 11 00 00 00 11 00 01 --

C A - - - C - C D 11 00 00 00 01 00 01 00

D A - - - D - D D 11 00 00 00 00 00 00 00

Tabla 8: Tabla de transición simplificada

Obteniendo la entrada de los Flip-flop

Codificación para las variables de estado

Estados q1 q2
A 1 1

C 0 1

D 0 0

Tabla 9: Codificación de estados

El siguiente paso es obtener el estado siguiente gracias al estado presente y a las entradas, y una
vez que tenemos el estado siguiente, ya podemos calcular las entradas de los FF.

Nota: una de las diferencias entre el modelo de Mealy y el de Moore es que en el modelo
de Moore teníamos que la columna del estado presente y la salida eran iguales, mientras
que en Mealy, la salida varía por lo tanto tendremos que tener cuidado.

Tablas de excitación:

Flip-flop SR Flip-flop JK Flip-flop D

Qn+ Qn+ Qn+
Qn S R Qn J K Qn D
1 1 1

0 0 0 x 0 0 0 x 0 0 0
0 1 1 0 0 1 1 x 0 1 1
1 0 0 1 1 0 x 1 1 0 0
1 1 x 0 1 1 x 0 1 1 1

Tabla 10: Tabla de excitación

 Estado Estado Entradas del
Entradas Salidas
Presente Siguiente FF
q1 q2 a b c Q1 Q2 J1 K1 D2 P1 P2
0 0 0 0 0 1 1 1 x 1 1 1
0 0 0 0 1 x x x x x 0 0
0 0 0 1 0 x x x x x 0 0
0 0 0 1 1 x x x x x 0 0
0 0 1 0 0 0 0 0 x 0 0 0
0 0 1 0 1 x x x x x 0 0
0 0 1 1 0 0 0 0 x 0 0 0
0 0 1 1 1 0 0 0 x 0 0 0
0 1 0 0 0 1 1 1 x 1 1 1
0 1 0 0 1 x x x x x 0 0
0 1 0 1 0 x x x x x 0 0
0 1 0 1 1 x x x x x 0 0
0 1 1 0 0 0 1 0 x 1 0 1
0 1 1 0 1 x x x x x 0 0
0 1 1 1 0 0 1 0 x 1 0 1
0 1 1 1 1 0 0 0 x 0 0 0
1 1 0 0 0 1 1 x 0 1 1 1
1 1 0 0 1 x x x x x 0 0
1 1 0 1 0 x x x x x 0 0
1 1 0 1 1 x x x x x 0 0
1 1 1 0 0 1 1 x 0 1 1 1
1 1 1 0 1 x x x x x 0 0
1 1 1 1 0 0 1 x 1 1 0 1
1 1 1 1 1 x x x x x x x

Tabla 11: Obteniendo las entradas de los FF

Mapas de Karnaugh
 abc
000 001 011 010 110 111 101 100
q1q2
00 1 x x x 0 0 x 0
01 1 x x x 0 0 x 0
11 x x x x x x x x
10 x x x x x x x x

Tabla 12: Mapa de Karnaugh - J1

abc
000 001 011 010 110 111 101 100
q1q2
00 x x x x x x x x
01 x x x x x x x x
11 0 x x x 1 x x 0
10 x x x x x x x x

Tabla 13: Mapa de Karnaugh - K1

abc
000 001 011 010 110 111 101 100
q1q2
00 1 x x x 0 0 x 0
01 1 x x x 1 0 x 1
11 1 x x x 1 x x 1
10 x x x x x x x x

Tabla 14: Mapa de Karnaugh - D2

(Continúa en la siguiente página con las salidas P1 y P2 …)

 abc
000 001 011 010 110 111 101 100
q1q2
00 1 0 0 0 0 0 0 0
01 1 0 0 0 0 0 0 0
11 1 0 0 0 0 x 0 1
10 x x x x x x x x

Tabla 15: Mapa de Karnaugh - P1

abc
000 001 011 010 110 111 101 100
q1q2
00 1 0 0 0 0 0 0 0
01 1 0 0 0 1 0 0 1
11 1 0 0 0 1 x 0 1
10 x x x x x x x x

Tabla 16: Mapa de Karnaugh - P2

Para ver el dibujo de los circuitos e incluso poder simularlos gracias a Logisim, tan solo
tienes que descargarte el siguiente archivo comprimido SimuladorCircuitos.zip

Tan solo tendrás que abrir el programa ejecutable y abrir el circuito que se encuentra
dentro del archivo comprimido. Ahí podrás acceder tanto al modelo de Mealy como al de
Moore e incluso simularlos.

http://www.passitedu.es/es/recursos/electro/SimuladorCircuitos.zip