mm, allora dovrei capire bene la logica che sta sotto agli automi a stati finiti:


le due stringhe di prova sono queste: 'aaab' e 'abaabb'

ora stavo guarando la prima:

allo stato q0 'aaab'
allo stato q1 la soluzione al problema mi dice che ho 'aab' ma sinceramente non ho capito il perchè; io devo partire da q0 giusto?

a q1 dovrei avere a(prima freccia verso destra in alto) e b(freccia in basso lunga)

Anche sullo stato q3 cosa significa la freccia che torna su se stessa?