TEMA 1.5.

MÁQUINAS DE ESTADOS FINITOS

1. Máquinas finitas de estados
Circuitos secuenciales
EN LOS SISTEMAS SECUENCIALES, LA SALIDA Z EN UN DETERMINADO INSTANTE DE TIEMPO
DEPENDE DE LA ENTRADA X EN ESE INSTANTE Y EN TODOS LOS INSTANTES ANTERIORES.

Como un sistema secuencial es finito, tiene una CAPACIDAD DE MEMORIA FINITA y un CONJUNTO
FINITO DE ESTADOS posibles (MÁQUINA FINITA DE ESTADOS - FSM)

Una maquina finita de estados representa un conjunto de estados y sus transiciones entre estados
(dependen de las entradas y salidas).

Tipos de máquinas de estados finitos:

Máquina de Mealy:
● El estado siguiente depende de la entrada y del estado actual.

● La salida depende de la entrada y del estado actual.

Máquina de Moore:

● El estado siguiente depende de la entrada y del estado actual.

● La salida depende exclusivamente del estado actual.

● Todas las máquinas de Moore son un caso particular de la máquina de Mealy

Diferencias entre FSM de Mealy y FSM de Moore
● Las dos son pueden ser funcionalmente equivalentes.

● Las FSM de Mealy tienen una mejor descripción y menor número de estados.

● Las FSM de Mealy calculan las salidas tan pronto como se produce un cambio en las entradas.

● Las FSM de Mealy responden un ciclo de reloj antes que la máquina de Moore.

● Las FSM de Moore no posee un camino de lógica combinacional entre entradas y salidas.