Automi a stati finiti.

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

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

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; }