Maquinas de Estado

Miguel A. Melgarejo R.

Facultad de Ingeniería
Universidad Distrital Francisco José de Caldas

Este documento se entrega bajo licencia GPL

 Contenido
•  Definiciones.

•  Modelado de maquinas de estado.

•  Modelo circuital de una maquina de estados.

•  Maquinas Mealy vs maquinas Moore.

•  Reducción de estados.
 Definiciones
Estado.
Según el merriam webster on-line , se define estado como:
•  Modo de estar. Ej. seco, feliz, apagado, prendido, etc
•  Condición o etapa. Ej. Larva, liquido, adulto.

Salidas.
Un estado se caracteriza por ser observable. El estado se puede inferir
por una señal particular, la cual se denominará salida.

FELIZ
 Definiciones
Transición.
Según el MW on-line se define como:
•  Paso de un estado a otro.
•  Evolución de una condición a otra.
Entrada
Cualquier estímulo que genere una transición.
 Maquina de estados

Maquina de estados

Estados
Entradas:

Transiciones
Salidas:
 Definiciones:
Diagrama de estados
 Definiciones:
Maquina de estados digital
“0”
“0”

E2 E1
“1” “0”
“1”
Maquina de estados

“1”

Equivalencias
Ep Ent Ef sal
0 1 1 0
0 0 0 0
E1 E2
“1” “0” 1 1 1 1
“0” “1”
1 0 0 1
 Modelado de
maquinas de estado digital
Método para modelar una maquina de estados digital:

1. Tenga presente que cada problema de modelado es

único.
2. Ubique señales de entrada y de salida
3. A la luz de la situación defina claramente los estados.
4. Del análisis del problema identifique las transiciones.
5. Ubique las salidas y sus correspondientes valores en
cada estado.
6. Codifique estados, entradas y salidas.
 Caso de estudio :
Controlador para un robot seguidor de luz
 Caso de estudio :
Controlador para un robot seguidor de luz
 Caso de estudio :
Controlador para un robot seguidor de luz
 Caso de estudio :
Controlador para un robot seguidor de luz

Estado: girar a la derecha Estado: girar a la izquierda

 Caso de estudio :
Controlador para un robot seguidor de luz

Estado: evadir obstáculo.

 Caso de estudio :
Controlador para un robot seguidor de luz

Estado: avanzar Estado buscar luz

 Caso de estudio:
Controlador para un robot seguidor de luz
 Caso de estudio:
Controlador para un robot seguidor de luz

10XX
 Caso de estudio:
Controlador para un robot seguidor de luz

10XX
 Modelado de
Maquinas de estado digitales

•  El modelado de un problema no es único.

•  Depende de la información disponible.

•  Depende del problema y de la experiencia

de quien modela.
 Modelo circuital de la maquina
de estados digital
La maquina de estados digital puede describirse a través
de las siguientes ecuaciones:

Ef = F( Ep,ent) => Ep(n+1)= F(Ep(n), Ent(n))

Sal = G(Ep,ent)

Donde Ef : estado futuro

Ep: Estado presente
Ent : entradas
Sal : salidas
 Modelo circuital de la
maquina de estados digital

Ef
Ep

•  Las transiciones son sincrónicas.

• El cambio de estado presente a estado futuro tan solo se dará

cuando llegue un flanco de reloj.
 Modelo circuital de la
maquina de estados digital
“1”
“1”

E1 E2
“0” “1” D Q

“0”
clk

“0”

Ep Ent Ef sal
0 1 1 0
D Q
0 0 0 0
1 1 1 1 clk

1 0 0 1
 Modelo circuital de la
maquina de estados digital
 Modelo circuital de la
maquina de estados digital

¿Cuál debería ser la frecuencia de la señal clk?

 Maquina Mealy
Ef
Ep Estado J-1 j J+1
Entrada l m e d i j
Salida q p m n x z

•  Las salidas dependen del estado presente y de las entradas.

• Para un mismo estado las salidas pueden tomar valores diferentes
dependiendo de las entradas.
 Maquina Moore
Ef Estado J-1 j J+1
Ep
Entrada l m e d i j
Salida t x y

•  Las salidas dependen del estado únicamente

•  En un estado las salidas pueden tomar tan solo un único valor.
 Reducción de estados
•  Dos estados son equivalentes si :

1. Producen las mismas salidas

2. Con las mismas entradas se evoluciona
hacia los mismos estados futuros.

Ejemplo: Los estados Lgt y Lft son

equivalentes.
 Equivalencia Mealy y Moore
•  En algunos casos ( cuando el problema
así lo permita) un estado de una maquina
Mealy puede reemplazar a varios estados
Moore.

Ejemplo: Los estados Lgt, fwd, rgt y lft

pueden ser reemplazados por un solo
estado Mealy ( Venir a la sesión de
ejercicios!).
 Especificación VHDL
Proceso sincrónico
Proceso combinacional
Ef
Ep

•  Un proceso sincrónico para computar el estado futuro

• Un proceso combinacional para computar las salidas

Ejemplo
 Ejemplo
Modelo VHDL

Circuito para computar

el estado futuro.

Circuito para Computar

las salidas
 Referencias
Esta lección está basada en las siguientes
obras de referencia:

•  D. Gajski, “ Principios de diseño digital”,

Prentice Hall, 1999, Capítulo 6.
•  S. Brown, “Fundamentos de lógica digital
con diseño VHDL”, McGraw Gil, 2006,
Capítulo 8.