Formale Systeme WS 2011/2012 Skript zur Vorlesung - Faculty of ...
Formale Systeme WS 2011/2012 Skript zur Vorlesung - Faculty of ...
Formale Systeme WS 2011/2012 Skript zur Vorlesung - Faculty of ...
Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.
YUMPU macht aus Druck-PDFs automatisch weboptimierte ePaper, die Google liebt.
Inhaltsverzeichnis<br />
1. Teil: <strong>Formale</strong> Sprachen und Automatentheorie 3<br />
1 Grammatiken 8<br />
2 Reguläre Sprachen 18<br />
2.1 Endliche Automaten . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18<br />
2.1.1 Deterministische endliche Automaten . . . . . . . . . . . . . . . . . . 18<br />
2.1.2 Nichtdeterministische endliche Automaten . . . . . . . . . . . . . . . 26<br />
2.2 Eigenschaften regulärer Sprachen . . . . . . . . . . . . . . . . . . . . . . . . 35<br />
2.2.1 Abschlusseigenschaften . . . . . . . . . . . . . . . . . . . . . . . . . 35<br />
2.2.2 Das Pumping Lemma für reguläre Sprachen . . . . . . . . . . . . . . . 43<br />
2.2.3 Algorithmen für endliche Automaten . . . . . . . . . . . . . . . . . . 46<br />
2.3 Reguläre Ausdrücke . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 47<br />
2.4 Minimierung von endlichen Automaten . . . . . . . . . . . . . . . . . . . . . 58<br />
3 Kontextfreie Sprachen 71<br />
3.1 Grundbegriffe . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 71<br />
3.2 Die Chomsky Normalform . . . . . . . . . . . . . . . . . . . . . . . . . . . . 75<br />
3.3 Der Cocke-Younger-Kasami Algorithmus . . . . . . . . . . . . . . . . . . . . 80<br />
3.4 Eigenschaften kontextfreier Sprachen . . . . . . . . . . . . . . . . . . . . . . 83<br />
3.4.1 Das Pumping Lemma für kontextfreie Sprachen . . . . . . . . . . . . . 83<br />
3.4.2 Abschlusseigenschaften kontextfreier Sprachen . . . . . . . . . . . . . 86<br />
3.5 Kellerautomaten . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 88<br />
3.5.1 Die Greibach Normalform . . . . . . . . . . . . . . . . . . . . . . . . 88<br />
3.5.2 Nichtdeterministische Kellerautomaten . . . . . . . . . . . . . . . . . 90<br />
3.5.3 Deterministische Kellerautomaten . . . . . . . . . . . . . . . . . . . . 103<br />
2. Teil: Aussagenlogik 110<br />
4 Aussagenlogik 110<br />
4.1 Grundbegriffe der Aussagenlogik . . . . . . . . . . . . . . . . . . . . . . . . . 110<br />
4.1.1 Syntax und Semantik . . . . . . . . . . . . . . . . . . . . . . . . . . . 110<br />
4.1.2 Normalformen . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 125<br />
4.2 Hornformeln . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 133<br />
4.3 SAT-Beweiser . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 140<br />
4.4 Resolution . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 158