Urbilder regulärer Sprachen

Einfache Sprache

Urbilder regulärer Mengen sind regulär für sequenzielle Funktionen

Def. Urbilder regulärer Sprachen

Sind $A$ und $B$ Alphabete und ist $f: A^*\rightharpoonup B^*$ eine Sequenzielle Funktion und $L$ eine Reguläre Sprache über $B$, dann ist $f^{-1}(L)$ (die Reguläre Urbildmengen von $L$) eine reguläre Sprache über $A$.

Beweisidee: #TODO