Directo

Electrnica Digital
Autmatas de Mealy y de Moore

www.passitedu.es

Enunciado: Se bombea agua a un depsito mediante dos bombas hidrulicas 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 tambin. 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 detencin del nivel del agua de manera que:

Seal a =1 cuando el nivel est en el Nivel 1 o por encima. Si no a=0.

Seal b=1 cuando el nivel est en el Nivel 2 o por encima. Si no b=0.
Seal c=1 cuando el nivel est en el Nivel 3 o por encima. Si no c=0.

Supondremos tambin que nuestro sistema tiene la suficiente rapidez como para notar
cambios bruscos en el nivel de agua.
Este grfico ilustra ms o menos la situacin del problema:

Ilustracin 1: Grfica de situacin

Tablas de excitacin:
Flip-flop SR

Qn Qn+1 S

Flip-flop JK

Qn Qn+1

Flip-flop D

Qn Qn+1 D

Tabla 1: Tabla de excitacin

Autmata de Moore:
Codificacin de estados
P1

P2

Estado

Diagrama de estados

Tabla de transicin de estados

Ep

Es

Salidas

E0 E1 E2 E3 E4 E5 E6 E7 P1 P2

Tabla 2: Transicin de estados

Obteniendo la entrada de los Flip-flop

Codificacin para las variables de estado

Estado
Presente

Estado

q1

q2

Estado
Siguiente

Entradas

Entradas
del FF

q1

q2

Q1

Q2 J1 K1 D2

Salidas
P1

P2

Tabla 3: Obteniendo las entradas de los FF

Mapas de Karnaugh

abc
000 001 011 010 110 111 101 100
q1q2
00

01

11

10

Tabla 4: Mapa de Karnaugh - J1

abc
000 001 011 010 110 111 101 100
q1q2
00

01

11

10

Tabla 5: Mapa de Karnaugh - K1

abc
000 001 011 010 110 111 101 100
q1q2
00

01

11

10

Tabla 6: Mapa de Karnaugh - D2

Autmata de Mealy:
Diagrama de estados

Tabla de transicin de estados

Ep

Es

Salidas P1 P2

E0 E1 E2 E3 E4 E5 E6 E7 E0 E1 E2 E3 E4 E5 E6 E7

11 00 00 00 11 00

--

--

11 00 00 00 11 00 01

--

--

00 00 00 01 00 01 00

--

00 00 00

--

00 00 00 00 00 00

11 00 00 00 00 00

--

--

11 00 00 00 01 00 01

--

Tabla 7: Tabla de transicin

--

00 00 00
--

Tabla de transicin de estados (tras simplificacin de estados)

Es

Ep

Salidas P1 P2

E0 E1 E2 E3 E4 E5 E6 E7 E0 E1 E2 E3 E4 E5 E6 E7

11 00 00 00 11 00 01

11 00 00 00 01 00 01 00

11 00 00 00 00 00 00 00

--

Tabla 8: Tabla de transicin simplificada

Obteniendo la entrada de los Flip-flop

Codificacin para las variables de estado

Estados q1 q2
A

Tabla 9: Codificacin 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 tenamos que la columna del estado presente y la salida eran iguales, mientras
que en Mealy, la salida vara por lo tanto tendremos que tener cuidado.
Tablas de excitacin:
Flip-flop SR

Qn Qn+1 S

Flip-flop JK

Qn Qn+1

Flip-flop D

Qn Qn+1 D

Tabla 10: Tabla de excitacin

Estado
Presente

Estado
Siguiente

Entradas

Entradas
del FF

q1

q2

Q1

Q2 J1 K1 D2

Salidas
P1

P2

Tabla 11: Obteniendo las entradas de los FF

Mapas de Karnaugh

abc
000 001 011 010 110 111 101 100
q1q2
00

01

11

10

Tabla 12: Mapa de Karnaugh - J1

abc
000 001 011 010 110 111 101 100
q1q2
00

01

11

10

Tabla 13: Mapa de Karnaugh - K1

abc
000 001 011 010 110 111 101 100
q1q2
00

01

11

10

Tabla 14: Mapa de Karnaugh - D2

(Contina en la siguiente pgina con las salidas P1 y P2 )

abc
000 001 011 010 110 111 101 100
q1q2
00

01

11

10

Tabla 15: Mapa de Karnaugh - P1

abc
000 001 011 010 110 111 101 100
q1q2
00

01

11

10

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 tendrs que abrir el programa ejecutable y abrir el circuito que se
encuentra dentro del archivo comprimido. Ah podrs acceder tanto al modelo
de Mealy como al de Moore e incluso simularlos.
http://www.passitedu.es/es/recursos/electro/SimuladorCircuitos.zip