http://www.oelinger.de     Home Maria Oelinger       sitemap  Automaten und formale Sprachen Skript zur Vorbereitung auf die Hauptdiplomprüfung Theoretische Informatik     Kapitel 1: Einleitung 1.1 Mathematische Grundlagen 1.2 Grammatiken und Chomsky-Hierarchie 1.3 Wortproblem 1.4 Backus-Naur-Form (BNF)       (50 KB)     Literatur   Prüfungsprotokoll   Word-Version des Protokolls (38 KB)   Überblick (72 KB)   Sprachklassen (56 KB)   Zeitplan zur Prüfungsvorbereitung   Kapitel 2: Reguläre Sprachen 2.1 Endliche Automaten (DFA) 2.2 Nichtdeterministische Automaten (NFA) 2.3 Zwei–Wege–Automaten 2.4 Reguläre Ausdrücke 2.5 Das Pumping-Lemma 2.6 Äquivalenzrelationen und Minimalautomaten       (174 KB)     Kapitel 3: Kontextfreie Sprachen 3.1 Die Chomsky-Normalform für kontextfreie Sprachen (CNF) 3.2 Das Pumping-Lemma für kontextfreie Sprachen und Ogden's Lemma 3.3 Syntaxbaum und inhärente Mehrdeutigkeit 3.4 Der CYK-Algorithmus 3.5 Das Die Greibach-Normalform für kontextfreie Grammatiken 3.6 Kellerautomaten (KA) 3.7 Abschlusseigenschaften       (179 KB)     Kapitel 4: Deterministisch kontextfreie Sprachen 4.1 Grundlagen 4.2 LR(0)-Grammatiken und deterministische Kellerautomaten (DKA)       (85 KB)     Kapitel 5: Kontextsensitive und Typ-0-Sprachen 5.1 Grundlagen       (77 KB)     Kapitel 6: Tabellarischer Überblick       (59 KB)     Feel free to send me email: maria@oelinger.de
	© 2000 Maria Oelinger cand. math. Automatentheorie Letzte Änderung: 06.07.2000 address: http://www.oelinger.de/maria/automat/index.htm