Si vuole costruire l’ automa a stati finiti per riconoscere il seguente linguaggio: L = {1^2k, 0^2k+1, 1^3k| k ∈ N+}.
Esaminando il linguaggio notiamo che:
- Le parole iniziano per 1, che devono essere in numero pari e maggiore di zero;
- Dopo aver letto gli 1, bisogna leggere un numero di zero dispari e maggiori di zero;
- Dopo aver letto gli zeri, bisogna concludere leggendo degli 1 in numero multiplo di 3 e maggiore di zero.
N.B. la costante K appartiene all’ insieme N+, ovvero all’ insieme dei numeri Naturali escludendo lo zero.
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:
Stai cercando altre guide? Allora dai uno sguardo alla nostra raccolta dedicata agli Automi.
Alla prossima!
