Automatentheorie und ihre Anwendungen Teil 1: endliche ...
Automatentheorie und ihre Anwendungen Teil 1: endliche ...
Automatentheorie und ihre Anwendungen Teil 1: endliche ...
Erfolgreiche ePaper selbst erstellen
Machen Sie aus Ihren PDF Publikationen ein blätterbares Flipbook mit unserer einzigartigen Google optimierten e-Paper Software.
Gr<strong>und</strong>begriffe Textsuche Abschlusseig. Reguläre Ausdrücke Charakterisierungen Entscheidungsprobleme<br />
Reguläre Sprachen<br />
Definition 13<br />
Eine Sprache L ⊆ Σ ∗ ist regulär, falls gilt:<br />
L = ∅<br />
L = {ε}<br />
oder<br />
oder<br />
L = {a}, a ∈ Σ,<br />
oder<br />
L lässt sich durch (endlichmaliges) Anwenden der Operatoren<br />
∪, ·, ∗ aus den vorangehenden Fällen konstruieren.<br />
Beispiele:<br />
({a} ∪ {b}) ∗ · {a} · {b} (siehe A 3 auf Folie 8)<br />
{b} ∗ · {a} · {a} ∗ · {b} · ({a} ∪ {b}) ∗ (s. A 2 auf Folie 8)<br />
Thomas Schneider <strong>Automatentheorie</strong> 1: <strong>endliche</strong> Wörter 28