Máquinas de Estado

MÁQUINAS DE ESTADO

Sum´rio a 1 Objetivos

3

2 Introdu¸˜o ca 2.1 M´quina de Moore . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . a 2.2 M´quina de Mealy . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . a 3
3
4

3 Metodologia

5

4 Resultados
4.1 Circuito 1 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
4.2 Circuito 2 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
4.3 Circuito 3 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

5
5
5
6

5 Conclus˜o a 7

2

1

Objetivos
• Simular m´quinas de estado e verificar seus diagramas entendendo seu funcionaa mento 2

Introdu¸˜o ca As m´quinas de estado finito s˜o sistemas alg´bricos que podem ser divididos em a a e duas categorias: as tradutoras ou Autˆmatos Finitos com Sa´ e as reconhecedores de o ıda linguagens, tamb´m conhecidas como Autˆmatos Finitos. As m´quinas de estado finito e o a tradutoras possuem uma unica entrada e uma unica sa´
´
´ ıda. J´ as reconhecedoras de a linguagens s˜o m´quinas onde, para cada entrada, existem duas sa´ a a ıdas poss´ ıveis, uma para as senten¸as v´lidas e outra para as senten¸as inv´lidas da linguagem em quest˜o, c a c a a que devem ambas ser geradas a partir de gram´ticas regulares. Todas as m´quinas de a a estado finito tˆm mem´ria finita e baseada no conceito de ”estados”. e o
O conceito b´sico de Autˆmatos Finitos possui aplica¸˜es restritas, pois a informa¸ao a o co c˜ de sa´ ´ limitada ` l´gica bin´ria aceita/rejeita. Sem alterar a classe de linguagens ıda e a o a reconhecidas, ´ poss´ estender a defini¸˜o de Autˆmato Finito incluindo a gera¸˜o de e ıvel ca o ca uma palavra de sa´ ıda. As sa´ ıdas podem ser associadas as transi¸˜es (M´quina de Mealy)
`
co a ou aos estados (M´quina de Moore). a 2.1

M´quina de Moore a A M´quina de Moore possui uma fun¸˜o que gera uma