Representação maquina estado finito
genérica
Abstração matemática que representa uma
classe de sistemas a eventos discretos, que correlaciona entradas e
saida.
Composto por um número finito de estados vinculados a regras de
transições entre os estados e as ações.

Representação interna
É um sistema realimentado, onde as
condições de transições
Representação grafica
Na forma de grafos dirigidos das regras
descritas no item anterior.

Na forma de tabelas de transição (estado x entrada)

Definição matemática
É uma quintupla AF=(E,A,I,F,T)
- E: conjunto finito de estados;
- A: um alfabeto;
- I: estado inicial;
- F: conjunto de estados finais;
- T: função de transição de estado
T(E1, Xk) = Ej => indica para cada estado e cada letra
do alfabeto a qual o estado deve seguir.
Autômatos finitos x Expressões
Regulares
Um automato pode ser abordado de 2
maneiras:
A partir de uma linguagem (expr. regular) constroi-se uma máquina de
estado para ela ou a partir de uma máquina de estado, deduz-se a
linguagem


