Regulären Ausdruck zu DFA finden mittels Algorithmus (Kleenes Theorem)?
Ich soll in der Aufgabe (siehe Bild) mittels Algorithmus einen regulären Ausdruck für den Automaten finden, indem ich die Rekursion bis k=0 ausführe.
Bis zum letzten Schritt hat alles gut geklappt, jedoch habe ich gemerkt, dass man von q2 zu q3 mit b gar nicht kommen kann, weshalb mein letztes Ergebnis ( r ^1 _[2, 3] = a | b ) falsch sein muss, aber ich finde meinen Fehler nicht.
Automat,
Theoretische Informatik,
Computerlinguistik,
dfa,
Rechnerarchitektur,
Regulärer Ausdruck