Da automa non deterministico a Espressione Regolare

[mictrt]

Sia L1 il linguaggio su Σ = {a, b} delle parole che o contengono un numero dispari di a e terminano per bb oppure contengono un numero pari di a e terminano per aa.
(a) Definire un automa non deterministico per L1. (b) Applicare la costruzione per sottoinsiemi e calcolare l’automa deterministico equivalente.
(c) Dare una espressione regolare per L1.






non riesco a "creare" la espressione regolare RE...mi date una mano?

[mictrt]

mi pare di aver capito che lo devo normalizzare...perchè ci sono 2 stati finali....giusto?

[mictrt]

la soluzione è ricavata tramite jflap...

RE=aa(aa)*+abb+aa(aa)*abb

ora esplicitando i passaggi ho ragionato cosi:

ho eliminato q2.... che diventa bb



poi tramite la formula ho accorpato q1 e q3 che diventa (aa)a*


questa non mi convince.....

poi come continuo?

[mictrt]

nessuno sa darmi una mano?