Mquina de Estados Finito

FSM (Finite State Machines)

Uma mquina de estados finitos (FSM - do ingls

Entradas

Finite State Machine) um modelo matemtico

utilizado para representar comportamentos lgicos ou

Clock

circuitos lgicos.

Mquina
de Estados
Finito
(FMS)

A mquina de estados est em apenas um estado por vez, este estado chamado de estado
atual.

Um estado armazena informaes sobre o passado, isto , ele reflete as mudanas desde a
entrada num estado, no incio do sistema, at o momento presente.

Uma transio indica uma mudana de estado e descrita por uma ao que precisa ser
realizada para que a transio ocorra.

Uma ao a descrio de uma atividade que deve ser realizada num determinado
momento.

Mquinas de estados finitos podem ser representadas por meio de um diagrama de estados.

Sadas

Mquina de Estados Tipo Mealy

Mquina de Mealy:
Utiliza apenas aes de entrada.
A sada depende da entrada e do estado atual.
A sada est representada no arco de transio.

Arco de Transio

Mquina de Estados Tipo Mealy

As sadas dependem das
entradas e do estado atual

Entradas

Lgica de
Controle
(prximo
estado)

Clock

Memria
de
Estados
(Flip-Flops)

Estado
Atual

Lgica de
Sada

Sadas

Mquina de Estados Tipo Moore

Mquina de Moore:
Utiliza apenas aes de entrada.
A sada depende somente do estado.
A sada est representada no estado.

Mquina de Estados Tipo Moore

As sadas dependem
apenas do estado atual

Entradas

Clock

Lgica de
Controle
(prximo
estado)

Memria
de
Estados
(Flip-Flops)

Estado
Atual

Lgica de
Sada

Sadas

Mquina de Estados - Resumo

CLK

CLK

Mquina de Estados - Resumo

Devido aos atrasos nos

componentes electrnicos,
um circuito pode originar
um glitch. Um glitch uma
variao de curta durao
no valor de uma sada,
quando no se espera
nenhuma variao.

Exerccio
Que tipo a mquina de estados:
Morre (Sada depende apenas
do estado atual)
Quantos Estados:
2 (Dois)
Nome dos Estados:
Opened
Closed
Entradas:
close_door
open_door
Sada:
E: (close door ou open door)

Anlise de uma Mquina Simples

Dois FFs quatro estados possveis
Uma entrada w e uma sada z

Tabela Verdade dos Combinacionais

Tabela Verdade dos Combinacionais

Diagrama de Transio de Estados

Tabela Verdade

Esta Completo?

Representao Simblica

FMS Mquina de Estamos Finito

Diagrama de Transio de Estados

Reset

Sempre que o sinal

Reset receber o
valor 0 (Zero) o
sistema ir para o
estado A.

Exemplo - Sntese de uma FSM (Moore)

Diagrama e Tabela de Transio de Estados
W
Clock

Mquina de
Estados
Finito (FMS)

Observar: Ausncia do sinal do Reset na

tabela. o reset do FF.

Exemplo - Sntese de uma FSM (Moore)

Estrutura da FMS

H trs estados: 2 bits so suficientes

Variveis de estado:
Estado atual y1 e y2
Prximo estado Y1 e Y2

Exemplo - Sntese de uma FSM (Moore)

Atribuio de Estado

Exemplo - Sntese de uma FSM (Moore)

Tabelas Verdade de CC1 e CC2 - Assumindo FF tipo D

Exemplo - Sntese de uma FSM (Moore)

Sntese de CC1 e CC2

Exemplo - Sntese de uma FSM (Moore)

Circuito Final com FF tipo D

Exemplo - Sntese de uma FSM (Moore)

Diagrama de Tempo da FSM

Observar sinais sncronos com borda de subida do clock.

Exerccio

Exerccio - Resoluo

Notemos que existe uma mudana na sada (na passagem do estado 1 para o estado
2) que ocorre imediatamente depois de uma borda descendente do relgio (CLK_H),
sem que tenha ocorrido uma mudana na entrada. Isso quer dizer que essa mudana
de estado dependeu exclusivamente da borda do relgio.

Podemos, assim, concluir que a maquina sequencial foi construda com flip-flops que
comutam nas bordas descendentes de CLK_H.

Notemos ainda que, nos estados 1, 2, 3 e 5, a sada se mantem constante.

No estado 4 a sada muda com as variaes da entrada. Para que isso acontea, o
circuito combinatrio de sada deve depender do estado e da entrada. (Mquina de
Mealy).

Como Descrever o Comportamento de uma

Mquina de Estados?

Reset = 1

B
S = 00

A
S = 10

C
S = 11

A figura abaixo representa um sistema automatizado de furao de peas sob

uma esteira transportadora. Projete o sistema de controle deste sistema.
Especificaes do sistema automatizado:
O sistema possui um interruptor geral para ser ligado ou desligado.
Uma vez que o sistema est ligado, a furadeira est sempre funcionando.
Quando a pea chega posio correta, a esteira para de funcionar, o mandril
desce perfurando a pea e retorna para posio normal.
Apresente
Convenes. (0,5 pontos)
Mquina de Estados Moore que representa o controle do sistema. (1,5 pontos)