Universit¨ at Siegen
Volltext
ÄHNLICHE DOKUMENTE
[r]
(c) Geben Sie zu jeder Formel eine Struktur an, die kein Modell ist..
Aufgabe 1 Verwenden Sie regul¨ are Ausdr¨ ucke, um die folgenden Mengen zu definieren. Zeigen Sie, dass regul¨ are Sprachen unter Anwendung von m ∗ abgeschlossen
Formalisieren Sie Ihr Vorgehen in 1, indem Sie regul¨ are Ausdr¨ ucke und Priorit¨ aten f¨ ur die Tokenklassen angeben2. Geben Sie intuitiv den Scanner zu den regul¨ aren Ausdr¨
Aufgabe 2 Beweisen Sie die zwei Aussagen aus dem Skript auf Seite 99 zur Korrektheit des Algorithmus zum Auffinden nichtproduktiver Nichtterminale:.. • Falls A in der j -ten
Sprache regul¨ ar = ⇒ Sprache erf¨ ullt die Pumping-Eigenschaft Zeige, dass eine Sprache nicht regul¨ ar ist, durch Kontraposition:. Sprache erf¨ ullt nicht
das Pumping-Lemma zeigt, dass L nicht regul¨ ar ist. Beachte: L ist regul¨
(keine Variablen oder