Bei dem obigen regulären Ausdruck wurde meiner Meinung nach ein Stern vergessen.
RA = b*aa*bb*a (bb*a + aa*bb*a)*
Da du die Schleifen aus dem Endzustand beliebig oft (oder auch nicht) durchlaufen kannst. Es empfielt sich tendenziell aber eher den nichtdeterministischen Automaten heranzuziehen, wenn du den regulären Ausdruck aufstellst.
Viele Grüße
Christoph (Tutor)