Si vuole costruire l’ automa a stati finiti per riconoscere il seguente linguaggio: L = {A*B}.

Esaminando il linguaggio notiamo preliminarmente che:

  • Bisogna dapprima leggere un numero di A maggiore o uguale a zero (*);
  • Bisogna concludere la parola leggendo una B.

Potremmo dire che la macchina partirà da uno stato iniziale da cui leggere le A, per poi passare allo stato successivo solo nel momento in cui venisse letta una B.

L’ automa dunque avrà una forma simile a questa:
automa

Andiamo ora a costruire la tabella di transizione:
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!