Du hast die regulären Ausdrücke \(\alpha, \beta, \gamma, \delta\) gegeben. Jetzt könntest du zu den Sprachen \(L(\alpha); L(\beta); L(\gamma); L(\delta)\) jeweils (vollständige) minimale DEAs \(M_\alpha = L(\alpha);\dots;M_\delta = L(\delta)\) bauen und diese dann auf Äquivalenz überprüfen. Da minimale DEAs zu einer Sprache einzigartig sind, kann man ganz einfach "ablesen", ob zwei min DEA äquivalent sind und demnach auch ihre beiden zugehörigen regulären Ausdrücke.
Es kann also nicht passieren, dass du zwei äquivalente Sprachen hast und die beiden zugehörigen minimalen DEAs unterschiedlich sind. (Ausnahme: unterschiedliche Bezeichnung der Zustände)
Alternativ könntest du auch anhand der Struktur der regulären Ausdrücke die zugehörigen Sprachen bestimmen und dann auf Äquivalenz vergleichen: Z.B ist \(\mathcal{L}\left(\mathtt{(ab)^*ab(b + a)^*}\right)=\{(ab)^i.ab.(ba)^j\mid i,j\geq 0\}\), also die Sprache enthält ab als Teilwort und beliebige Wiederholungen von ab davor und ba danach.
