07.03. rechtslineare Grammatik für formale Sprache

Gib eine rechtslineare Grammatik an, die die Sprache generiert, die von folgendem endlichen Automaten akzeptiert wird:

Die Richtigkeit der rechtslinearen Grammatik wird in diesem Quiz nicht überprüft. Es wird aber die DCG überprüft, die im zweiten Aufgabenteil implementiert wird. Diese DCG sollte der rechtslinearen Grammatik entsprechen.

Dieses Tutorial zeigt ausführlich, wie man einen Automaten zu einer rechtslinearen Grammatik konvertieren kann:

Dieser Foliensatz zeigt den Konvertierungsalgorithmus in aller Kürze: https://user.phil.hhu.de/kallmeyer/wp-content/uploads/sites/19/2022/04/reg.pdf (Seite 24, „Regular Grammars (8)“)