Reguläre Urbildmengen

Einfache Sprache

Def. Lemma reguläre Definitions- und Urbildmengen

Es sei $f \colon A^* \rightharpoonup B^*$ eine Sequenzielle Funktion. Dann gelten:

1. Die Menge $\text{dom}(f)$ ist eine Reguläre Sprache.
2. Für jede Reguläre Sprache $L \subseteq B^*$ ist $f^{-1}(L)$ eine Reguläre Sprache