Salve a tutti, avrei bisogno del vostro aiuto poichè non ho capito bene una cosa di questo esercizio sulle macchine a stati ,in particolare non capisco come si determinare lo stato di uscita.
Vi scrivo direttamente l'esercizio e il pezzo della soluzione che non capisco.

Nel punto ricevente di una linea di trasmissione supponiamo di volere identificare il messaggio ABA trasmesso dalla linea all'interno di una qualsiasi sequenza formata dai simboli A, B e C .
Il problema può essere risolto impiegando una macchina sequenziale.

Ok,poi spiega:
Nella sintesi di una macchina il primo passo sta nel definire gli stati di ingresso ( A ,B e C in questo caso) e gli stati di uscita ( Z1 e Z2 a seconda che il messaggio si presenti oppure no) in modo da poter ricostruire le sequenze dei simboli di uscita in risposta alle sequenze più significative di ingresso . Se per esempio, la sequenza dei simboli in ingresso della macchina è
ACBABCAABABAC ,la corrispondente sequenza dei simboli di uscita dovrà essere
Z1 Z1 Z1 Z1 Z1 Z1 Z1 Z1 Z1 Z2 Z1 Z2 Z1 ,che denuncia due volte l'avvenuta trasmissione del messaggio .


***Quello che non capisco è come ha fatto a determinarsi la sequenza in uscita
Potreste spiegarmelo per favore???