Considere o seguinte diagrama de estados de uma máquina de estados síncrona, na qual cada estado é designado por dois bits: B₂B₁, sendo o bit B₂ o mais significativo.



Dado que o bit B2 será implementado utilizando um flip-flop D, a sua lógica de próximo estado pode ser expressa por