Aufgabe:
Gegeben sei eine Sprache L ⊆ Σ*. Dann ist L^(r) ⊆ Σ* die Sprache der Reverse von L, definiert als L^(r) := {w^(r) : w ∈ L}.
zu jedem e ∈ REG(∑) gibt es einen Ausdruck e^(r) ∈ REG(∑) mit L(e^(r)) = L(e)^(r).
REG(∑) beschreibt hierbei die Menge aller möglichen regulären Ausdrücke über dem Alphabet ∑.
Beweise über vollständige Induktion sind nicht erforderlich, aber die Korrektheit der Definitionen zu den 3 Operationen soll kurz gezeigt werden.
ICh weiß leider nicht wie das geht und wäre für jede Hilfe dankbar.
LG
