https://it.wikipedia.org/wiki/Automa_a_stati_finiti

Collezione di esercizi utili alla comprensione dei problemi sui sistemi deterministici sequenziali.

Questo esempio mostra l’equivalenza delle due rappresentazioni nel caso di una macchina di Moore. Diagramma degli stati. Tabella degli stati. S0 S1 S2 00. S1 S3 S2 01. S2 S1 S3 10. S3 S3 S U. s0. s s2. s Reti Logiche A.

Per simulare gli automi a stati finiti si potrebbe utilizzare

http://www.jflap.org/

Esercizio ASF

Studiare l’automa che rileva la presenza di tre uno consecutivi.

I = { 0, 1}

U = { 0, 1}

S = {A, B, C, D}

Si parte da A, entra 0 si resta in A, entra 1 si va in B, in C entra 0 e si riparte da A, se invece entra 1 il sistema è in equilibrio.

Analogia tra automa ed algoritmo.

int IN = 0, OUT = 0;

while (1) í

IN = random (1);

if (IN == 1) OUT++; else OUT = 0;

if (OUT == 3) { printf (“1, 1, 1 “);OUT = 0; }