Exemplo

Para ajuda neste tipo de exercícios apresentamos a resolução de um problema semelhante.

Faça o diagrama de estados para um circuito sequencial síncrono com duas entradas X e Y por onde surgem, em série, os bits de dois números binários puros a serem comparados. Os bits de menor peso surgem em primeiro lugar. A saída deve indicar, em cada momento, qual dos dois números binários é maior ou se são iguais.

Resolução

Diagrama de estados

 

Máquina de Mealy

 

Máquina de Moore