Handout - Institut für Theoretische Informatik - Technische ...
Handout - Institut für Theoretische Informatik - Technische ...
Handout - Institut für Theoretische Informatik - Technische ...
Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.
YUMPU macht aus Druck-PDFs automatisch weboptimierte ePaper, die Google liebt.
Endliche Automaten<br />
Erste Abschlußeigenschaften regulärer Sprachen<br />
Definition<br />
Die Spiegeloperation X ∗<br />
sp<br />
X ∗ ist rekursiv definiert:<br />
sp(ε) := ε und sp(aw) := sp(w)a für a ∈ X und w ∈ X ∗<br />
Für L ⊆ X ∗ heißt sp[L] = { sp(w) : w ∈ L } Spiegelbild von L .<br />
Ein Palindrom über X ist ein Wort w ∈ X ∗<br />
mit<br />
w = sp(w)<br />
Offenbar ist die Spiegeloperation selbst-invers, sowohl für Wörter wie auch<br />
für Sprachen, d.h., für w ∈ X ∗ und L ⊆ X ∗ gilt<br />
sp(sp(w)) = w und sp[sp[L]] = L<br />
Jürgen Koslowski (TU-BS) <strong>Theoretische</strong> <strong>Informatik</strong> 1 WS 2010/2011 48 / 191
Change language