Maquinas de Estado

Elementos de Lgica Digital II

Prof. Vanderlei Bonato

(Adaptado de Prof. Eduardo Simes)

Conceito
Mquina de Estados Finito
finite state machine (FSM)

ou Autmato de Estados Finitos

finite state automaton

ou Mquina de Estados
or simply a state machine

um modelo de Comportamento composto de um

nmero finito de Estados.
Incluindo as transies entre estes estados e as aes
2

Aplicao

Como um modelo primitivo de uma mquina, contendo

um tipo de memria interna
Onde:
O estado atual determinado pelos estados passados do
sistema
Reflete informaes de entrada desde o comeo do
funcionamento
As transies so mudanas de estado
Dependem de condies preestabelecidas

As Aes so a descrio de atividades que sero

executadas
3

Aes
Ao de Entrada (Entry action)
Executada quando se entra no estado

Ao de Sada (Exit action)

Executada quando se sai do estado

Ao Condicional (Input action)

Executada dependendo do estado atual e das condies de
entrada

Ao de Transio (Transition action)

Executada no momento de uma transio

Tabela de Transio de Estado

Tabela de Transio de Estado

Deteco de Seqncia

Tipos de FSM
Mquina de Moore

Boto=1

Ativado
-----------

Incio

Sensor=1
Desligado
------------Sirene=0

Boto=1

Disparado
----------Sirene=1

Tipos de FSM
Mquina de Mealy

Sensor=1/
Sirene=1

Incio

Boto=1
Desligado

Boto=1/
Sirene=0

Ativado

Mquina de Estados Moore em VHDL

Ver arquivo
Moore.vhd

Exerccio 1: Moore

Adicionar um temporizador no alarme para que o

mesmo toque somente se o sensor ficar acionado por
mais de 5 segundos e desligue o alarme (ir para o
estado inicial) se o sensor ficar desacionado por mais
de 20 segundos

Exerccio 2: Moore
Implemente um elevador para 4 andares com as
seguintes entradas e sadas:
Entrada:
Um boto de chamada externo para cada andar
4 botes internos para indicar o andar
2 sensores para indicarem porta aberta e porta fechada
Sensor de presena na porta
Um sensor de presena de elevador no andar

Sada
Motor elevador (liga/desliga)
Direo_elevador (sobe/desce)
Motor porta (liga/desliga)
Direo_porta (abre/fecha)