Aufgabe 1. Sie haben in der Vorlesung kennengelernt, wie man m.H. von MSO-Logik regul¨ are Sprachen definiert. Geben Sie MSO Formeln f¨ ur die folgenden regul¨ aren Sprachen an.

Lehrstuhl Theoretische Informatik Markus Lohrey. Model Checking

[r]

Hinweis: Bezeichne s n die Lange der Seiten des

regul¨ are Grammatiken – endliche Automaten Satz 3.2.7 regul¨ are Grammatiken charakterisieren regul¨ are Sprachen L ⊆ Σ ∗

Folgerungen aus dem Satz von Kleene Korollar 2.3.2 die Klasse der regul¨ aren Sprachen ist abgeschlossen unter allen Booleschen Operationen sowie Konkatenation und Stern

regul¨ are Grammatiken – endliche Automaten Satz 3.2.7 regul¨ are Grammatiken charakterisieren regul¨ are Sprachen L ⊆ Σ ∗ regul¨

Das Pumping-Lemma f¨ ur regul¨ are Sprachen besagt, dass es f¨ ur jede unendliche regul¨ are Sprache eine Grenze n gibt, so daß es zu jedem Wort w der Sprache, das mindestens die

Oft wird in der Literatur zwischen regul¨ arem Ausdruck und beschriebener Sprache nicht unterschieden, das heißt, man identifiziert einen regul¨ aren Ausdruck mit der