Si vuole costruire l’ automa a stati finiti per riconoscere il seguente linguaggio: L = {AB*}.
Esaminando il linguaggio notiamo preliminarmente che:
- Bisogna dapprima leggere una A;
- Dopo aver letto la A bisogna leggere un numero di B maggiore o uguale a zero.
Potremmo dire che la macchina partirà da uno stato iniziale da cui leggere la A, per poi passare allo stato successivo per leggere le B.
L’ automa dunque avrà una forma simile a questa:
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:
Stai cercando altre guide? Allora dai uno sguardo alla nostra raccolta dedicata agli Automi.
Alla prossima!
