[Reti Logiche, Calcolatori Elettronico] Esercizio su macchine sincrone

Ciao a tutti, sto svolgendo questo esercizio e vorrei gentilmente un riscontro

Si progetti una macchina sincrona a sincronizzazione esterna che riceve in ingresso 4 bit in serie e presenta un'uscita alta se i 4 bit ricevuti sono tutti con valore pari ad 1.
Si esegua la sintesi della macchina utilizzando flip flop di tipo D

L'automa al quale sono giunto è il seguente: è giusto?




Grazie in anticipo

Direi proprio di no, ti ricordo inoltre che l'automa sarà diverso a seconda che si ammetta o meno la sovrapposizione delle sequenze.

Dopo aver provato a correggerlo, dai un occhio sotto allo spoiler

Testo nascosto, fai click qui per vederlo

Facendomi aiutare per il disegno da JFLAP, io lo disegnerei così:

i) senza sovrapposizione



ii) con sovrapposizione