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.