Ciao a tutti. Ho una domanda sugli automi a stati finiti. Dovrei costruire il grafo di una rete sequenziale con ingressi x1 e x0, uscita z. L'uscita z diviene 1 se x0=1 e x1 assume i valori consecutivi 1-0-1. Il sistema torna poi nello stato iniziale quando gli ingressi assumono entrambi il valore 0 contemporaneamente per tre volte anche non consecutive.
Ora, io so costruire un grafo che fa la prima parte del problema, cioé riconoscere la sequenza, ma non capisco come fare a far tornare il sistema nello stato iniziale dopo la terza volta che x1=x0=0. Dovrei contare quante volte accade?