Detector de secuencia de Mealy en ABEL

EJERCICIO: Se trata de detectar la secuencia en binario 110 para un tren de pulsos, colocándose la salida Z=1 en la Máquina de Mealy.

SOLUCIÖN:
Lo primero es tener claro el diagrama de estados:

En el Editor de texto de ispLEVER, trabajando en ABEL-HDL escribimos el programa respectivo:

Compilamos y simulamos: