Problema resuelto FSM (máquina estados finitos)

En este artículo podemos ver el planteamiento de un problema de Máquina de Estados Finitos (resuelto por Moore) con la solución y la simulación mediante ISI / Proteus.

1.- Tenemos un motor que queremos que se comporte de la siguiente forma:

–   En estado inicial o de reposo, estará detenido en la posición en la que el sensor  (‘a’) detecta la posición de reposo (posición de la figura).

– Cuando se pulse ‘Marcha’, el motor dará dos vueltas completas, deteniéndose en la posición de reposo inicial.

– Durante el recorrido, si se pulsa ‘Marcha’, el motor seguirá rotando hasta alcanzar el final de las dos vueltas.

– Si al completar las dos vueltas, el pulsador marcha está pulsado por cualquier causa, no se comenzará un ciclo nuevo hasta que deje de estar pulsado.

* Resolver circuito por Mealy o Moore.

* Realizar esquema con Proteus, verificar el funcionamiento con simulación.

La solución en fichero PDF adjunto.