A máquina de estados finitos funciona de forma que, em resposta a um evento de
entrada, ela gera um evento de saída e muda de estado, de forma que tanto o evento
de saída gerado quanto o novo estado são definidos unicamente em função do
estado atual e do evento de entrada. Assim, uma máquina de estado finitos pode ser
representada por:
a) Diagrama de Transição de Eventos.
b) Tabela de Transição de Eventos.
c) Diagrama de Transição de Estados.
d) Tabela de Transição de Entradas.
e) Diagrama de Transição de Saídas.