A implementação de uma FSM do tipo Moore que implementa um contador de 2 bits que faz a contagem de número de entradas com o valor lógico alto (1) em um sistema digital é:
Observação: Considere as seguintes atribuições à saída em cada estado:
E0: Saída = 002.
E1: Saída = 012.
E2: Saída = 102.
E3: Saída = 112.
E4: Estado final.