Buonasera, non so se questa sia la categoria giusta per la mia domanda ma non sapevo in quale altra metterla altrimenti.
Ho un problema per quanto riguarda gli automi a stati finiti di informatica teorica, in particolare nella conversione di un NFA in DFA.
Devo scrivere un NFA che legga le parole che terminano per 'bbb' e hanno lunghezza multiplo di tre. Io ho trovato quello che credo sia l'NFA corretto ma sinceramente non saprei come disegnarlo qui. Comunque in poche parole ho:
uno stato iniziale q0 che leggendo a,b va in q1
q1 leggendo a,b va in q2.
q2 leggendo a,b torna in q0.
cosi mi assicuro che siano lette delle triplette.
da q0 parte poi una freccia che se legge b va in q3
q3 che legge b va in q4
q4 che legge b va nello stato accettante q5 da cui non escono freccie.
a questo punto ho convertito con la tecnica per sottoinsiemi ma ho riscontrato un problema al momento di convertire la prima parte.
q0 va infatti in {q1} leggendo a e in {q1,q3} leggendo b
a questo punto {q1} leggendo a va in {q2} ma anche leggendo b va in {q2}
sbaglio o una cosa del genere in un DFA non e' possibile? come risolvo?