Máquina de Mealy

Uma máquina de estados finitos ou Autômato Finito é uma modelagem de um comportamento, composto por estados e transiçõcos de graes. Um estado armazena informações sobre o passado, isto é, ele reflete as mudanças desde a entrada num estado, no início do sistema, até o momento presente. Uma transição indica uma mudança de estado e é descrita por uma condição que precisa ser realizada para que a transição ocorra.
Na máquina de Mealy as entradas interferem nos estados futuros e também na saída, e as saídas dependem da entrada e do estado presente. As saídas variam assincronamente, de acordo com a entrada.

Respresentação:
Nos arcos do grafo são representados os sinais de entrada causadores de trasição de um estado para o outro, com os respectivos valores para a saída.