Si vuole costruire l’ automa a stati finiti per riconoscere il seguente linguaggio: L = {01^n | n>0, n≠5}.

Esaminando il linguaggio notiamo che le parole iniziano con un zero seguito da N “uno” maggiore di zero e diverso da 5.

Possiamo dire che l’ automa partirà da uno stato iniziale in cui leggere il simbolo zero, passerà per 5 stati intermedi accettatori in cui leggere gli “uno”, per poi andare in uno stato finale in cui leggere altri “uno” indistintamente oppure fermarsi.

Proviamo a costruire l’ automa:

Andiamo ora a costruire la tabella di transizione:

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

• Cosa sono gli automi?
• Come si costruiscono gli automi?
• Automi e linguaggi regolari

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

Alla prossima!