Das ist eigentlich eine Informatikeraufgabe aber da bekomme ich keine Antwort, weshalb ich mit großer hoffnung hier meinen Versuch wage
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.
Aufgabe
Formel
Meine Lösung
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.