Si vuole costruire l’ automa a stati finiti per riconoscere il seguente linguaggio: L = {10^2k+1| k ∈ N}.

Esaminando il linguaggio notiamo che le parole iniziano per 1, ed inoltre abbiamo un numero di zeri Dispari e maggiore di zero.

Infatti le parole appartenenti al linguaggio sono:

L = {1, 10, 1000, 100000, 10000000, 1000000000 ecc.}

Possiamo dire che l’ automa partirà da uno stato iniziale in cui leggere il simbolo 1, per poi passare in uno stato in cui leggere il primo zero, ed infine leggere coppie di 1 per mantenere il vincolo.

Proviamo a costruire l’ automa:

automa

Andiamo ora a costruire la tabella di transizione:

funzione

Se non sai cosa sono gli automi o vuoi avere una rinfrescata su questo argomento ti consiglio di leggerti questi articoli:

 

Stai cercando altre guide? Allora dai uno sguardo alla nostra raccolta dedicata agli Automi.

Alla prossima!