Progettazione di una macchina a stati finiti (Mealy)

Una recente richiesta al Forum poneva il problema dell'applicazione di una macchina a stati finiti (Finite State Machine, FSM) per il trattamento di una stringa seriale di 8 bit. Fra le pubblicazioni disponibili in Internet, mi è sembrata ben fatta questa , a cui rimando per eventuali approfondimenti. Per comodita', riproduco qui le due principali immagini che in questa pubblicazione illustrano la struttura della FSM secondo Mealy: [Immagine] In sintesi, le variabili di ingresso X vengono legate ai segnali Q provenienti da un set di Flip-Flop (che rappresentano i vari stati del sistema) per ottenere una "decodifica" in uscita. La parte centrale della FSM e' costituita dalle relazioni fra "ingressi" ed "uscite" rappresentabili con una tabella di corrispondenza: