Intanto per i modelli ASF di Moore e di Mealy vedi qui:
https://forum.tomshw.it/threads/il-bar-di-lido-the-spam-is-back.298258/post-6700691
Nel nostro caso ci troviamo di fronte ad una macchina di Mealy, in cui l'uscita dipende sia dallo stato che dall'ingresso :sisi:
Nei grafi (detti diagrammi degli stati) ciascuno stato è rappresentato da un nodo e ciascuna transizione da un arco orientato.
Su ogni arco si scrive lo stato dell'ingresso che ha causato la transizione e la conseguente uscita, separati dallo slash (/).
Ad esempio se siamo nello stato S1, in caso di applicazione dell'ingresso 0, la macchina si porta allo stato S2 producendo l'uscita 0, per cui sull'arco che congiunge S1 e S2 verrà rappresentato 0/0 ;)
Ora, supponendo di voler realizzare un automa di Mealy riconoscitore della sequenza 101, ad es., la macchina presenterà un ingresso su cui arriva la sequenza di bit 0 e 1 (ad es. potrebbe essere l'ingresso di clock sincrono con gli ingressi dei Flip-Flop del contatore sequenziale) e un'uscita che assume lo stato logico alto (bit 1) quando in ingresso si presenta la sequenza 101.
Possiamo pensare di utilizzare una macchina con 3 stati S0, S1 e S2 in cui S0 è lo stato in cui non viene riconosciuto niente in ingresso, S1 lo stato in cui la macchina si trova nel momento in cui viene riconosciuta una sequenza di bit 1 e infine S2 lo stato in cui si trova quando viene riconosciuta la sequenza 10.
Cosa succede a questo punto ? :asd:
Se arriva un bit 1, viene riconosciuta la sequenza 101 mentre se arriva un bit 0 non viene riconosciuto nulla.
Ad ogni modo si torna a S0 con uscite, però, diverse, a seconda che sia stata riconosciuta la sequenza o meno ;)
Ti costruisci la tabella degli stati, poi ottimizzi il numero degli stati, li codifichi, fai la tabella delle eccitazioni e infine "sintetizzi" la RC delle funzioni stato futuro e d'uscita :)
A presto :sisi:
