Die optimale Prüfungsvorbereitung anhand 100 Aufgaben zur Theoretischen Informatik mit ausführlicher Lösung. Zu jedem Kapitel wird eine Einleitung mit Link auf die Videoaufzeichnung einer zugehörigen Vorlesung am Karlsruher Institut für Technologie gegeben. Außerdem können in einem Forum Fragen und Probleme zu allen Aufgaben diskutiert werden. Behandelt werden die Themen: Formale Sprachen, endliche Automaten mit und ohne Ausgabe, Minimierung endlicher Automaten, Kellerautomaten, Turingmaschinen, rechtslineare, kontextfreie, monotone/kontextsensitive, allgemeine Grammatiken, Pumping-Lemmas, Berechenbarkeits- und Komplexitätstheorie und weitere.

Autorentext

Lukas König studierte Informatik an der Universität Stuttgart und ist seit 2007 wissenschaftlicher Mitarbeiter und Doktorand am Karlsuher Institut für Technologie.

Inhalt

• Endliche Automaten - Minimierung endlicher Automaten - Rechtslineare Grammatiken / requläre Ausdrücke - Pumping-Lemma - Kellerautomaten - Kontextfreie Grammatiken - Turingmaschinen - Monotone / kontextsensitive Grammatiken - Berechenbarkeits- und Komplexitätstheorie - Sprachen