Maquina de Estados Finitos Sistemas Digitais
Uma FSM opera com finitos estados, podendo estar somente em um estado de cada vez, que podem ser alterados de um estado para o outro por alguma condição do programa ou circuito. Quais as aplicações? É comummente utilizada em jogos para selecionar o comportamento de cada agente alem de ser utilizada na e ngenharia elétrica
, linguística, ciência da computação
, filosofia , biologia, matemática e lógica . Qual a relação com a teoria dos automata finitos? A relação é de que um autômato finito é um conjunto de conjuntos e subconjuntos de estados e suas possíveis transições assim como uma uma FSM. O que é e como construir um diagrama de transições? Um diagrama de transições mostra qual condições e qual estado leva a outro estado e é construído definindose os estados, as entradas e as condições de transição. Exemplo: Estado Atual → Estado A Estado B Estado C
Condição ↓
Condição X
...
...
...
Condição Y
...
Estado C
...
Condição Z
...
...
...
Construir o diagrama de transições para um elevador de 3 andares. Estado Atual → 1º Andar 2º Andar 3º Andar
Condição ↓
Subindo
Descendo
2º Andar 3º Andar
...
...
1º Anda 2º Andar
Como implementar usando registradores ?
Definir e diferenciar os modelos de Mealy e Moore para a representação de FSMs No modelo de
Moore a FSM utiliza apenas ações de entrada, i.e. a saída depende somente do estado. Exemplo: A saida ‘A’ é resultado da ação de entrada “Indo para ‘A’” onde ‘A’ somente sinaliza a situação (que foi para ‘A’) e só se a ação foi “Indo para ‘A’”.. No modelo de
Mealy a FSM a saída depende da entrada e do estado. Exemplo: Se o estado esta em “B” e a entrada é
“Indo para ‘A’” a saída sera ‘A’ mas não necessariamente a ação teria que ser
“Indo para