Frage:
Berechnen Sie einen regulären Ausdruck, der die Sprache beschreibt, die von dem Automaten akzeptiert wird, indem Sie den Algorithmus aus der Vorlesung anwenden. Führen Sie die Rekursion bitte bis zu Elementen mit Superskript 0 (also \( k=0 \) ), also Elementen, bei denen die automatische Brechnung in der Rekursion abbricht.
Hinweis: Wenn es keinen Pfad gibt, lautet der entsprechende reguläre Ausdruck \( \emptyset \).
Ich soll in der Aufgabe 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.
Natürlich würde ich auch gerne Hinweise auf andere Fehler begrüßen, wenn ich welche gemacht haben sollte.