Máquinas de Estado Finito.

DIAGRAMA DE ESTADOS

El Diagrama de Estados describe el comportamiento de un circuito

secuencial en forma gráfica. Una FSM siempre tendrá un diagrama de
estados asociado.
Los Estados del circuito se simbolizan como círculos y se etiquetan
con letras mayúsculas.
Las transiciones entre estados se representan con flechas. Estas se
rotulan con las entradas y el valor de estas que produjo la transición.
Las salidas pueden aparecer ya sea en las flechas o en los círculos.
 DIAGRAMA DE ESTADOS

• Ejemplos de Diagramas de Estado

5 estados entrada/salida

1 salida 0 1 entrada
0/0
A 1 salida
1 entrada (0)
A 4 estados
1
1/0
B 1/1 1/0
(0)

E 0 0 B 1/1
(1) 0/0
1 C
(1)
0/0
1 D C
0
D 0/1
(0)
1
 DIAGRAMA DE ESTADOS

• Es muy importante tener en cuenta que si se tiene una variable de

entrada simple, cada estado en el diagrama debe tener dos flechas
salientes, una que corresponde a la entrada en un valor ‘1’ y otra en
un valor ‘0’.
• Si fueran dos variables de entrada, deben salir de cada estado cuatro
flechas que corresponderían a todas las posibles combinaciones
entre las entradas: 00, 01, 10 y 11.
00/0

xx/0
xx/1
01/0 11/0
A
10/1 01/0
10/1

D C
B
11/0
00/0
 TABLA DE TRANSICION DE ESTADOS

• La tabla de transición de estados es otra forma de representar

circuitos secuenciales y FSMs. Es utilizada principalmente en el
algoritmo de diseño del sistema secuencial.
0
A ESTADO ESTADO SALIDA
(0) ACTUAL SIGUIENTE
Ent=0 Ent=1
1
A A B 0
B B C D 0
(0)

E 0 0 C B D 1
(1)
D E D 0
1 C
(1) E A 1
A
1
0
D
(0)
1
 CIRCUITOS MOORE

0
• Los circuitos cuyas
A
salidas solamente son (0)

funciones del estado se 1

denominan Circuitos
Moore. B
(0)
• En los Circuitos Moore E
las salidas se introduce (1)
0 0

dentro del estado, ya 1

C
que la salida depende (1)

solamente del estado. 1

0

D
(0)
1
 CIRCUITOS MEALY

0/0

• Si las salidas de un circuito A

dependen del estado
actual y de las entradas se 1/0
denominan Circuitos Mealy. 1/1 1/0
• Estando en un estado si
preguntamos por el valor de 0/0
B 1/1
la salida, podemos no tener
respuesta hasta que no se
especifique el valor de la 0/0
entrada en el siguiente D C
intervalo.
0/1
 CIRCUITOS MEALY

• Tabla de transición de estados en un circuito mealy.

0/0

A
ESTADO ESTADO SIGUIENTE
ACTUAL
1/0 0 1
1/1 1/0 A A/0 B/0
B D/0 C/1
B 1/1
0/0 C B/0 A/0
D D/1 A/1

0/0
D C
0/1