Automatentheorie und ihre Anwendungen Teil 1: endliche ...
Automatentheorie und ihre Anwendungen Teil 1: endliche ...
Automatentheorie und ihre Anwendungen Teil 1: endliche ...
Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.
YUMPU macht aus Druck-PDFs automatisch weboptimierte ePaper, die Google liebt.
Gr<strong>und</strong>begriffe Textsuche Abschlusseig. Reguläre Ausdrücke Charakterisierungen Entscheidungsprobleme<br />
Abgeschlossenheit<br />
Satz 7<br />
Die Menge der NEA-erkennbaren Sprachen ist abgeschlossen unter<br />
den Operationen ∪, ∩, , ·, ∗ . Das heißt:<br />
Wenn L, L 1 , L 2 NEA-erkennbar sind,<br />
dann sind auch L 1 ∪ L 2 , L 1 ∩ L 2 , L, L 1 · L 2 <strong>und</strong> L ∗ NEA-erkennbar.<br />
Beweis: Direkte Konsequenz aus den folgenden Lemmata.<br />
Thomas Schneider <strong>Automatentheorie</strong> 1: <strong>endliche</strong> Wörter 20