[Reti Logiche ] Automi di Mealy

[guido fonzo]

Ciao a tutti, studiando reti logiche o progettazione digitale , ho inziato a vedere gli automi di Mealy.
Sul libro "Foundament of logic Design" ho trovato la teoria in inglese, ho capito gli esempi ma sto avendo difficoltà nello svolgere gli esercizi.
Mi riferisco al grafo degli stati , ad esempio di un riconoscitore di sequenze che assegnata una sequenza

0101010
ad esempio da in uscita 1 quando si verifica 011.

Da quanto ho capito non esiste un metodo ben preciso per tracciare il grafo degli stati.. mi sembra strano.
possibile?
sto avendo molta difficoltà perchè i libri non spiegano praticamente come fare , e ci sono solo quei classici due esercizi . Online non ho trovato nulla