Beschreibung:
Lukas König studierte Informatik an der Universität Stuttgart und ist seit 2007 wissenschaftlicher Mitarbeiter und Doktorand am Karlsuher Institut für Technologie.Friederike Pfeiffer-Bohnen studierte Wirtschaftsingenieurwesen an der Universität Karlsruhe (TH) und ist seit 2010 wissenschaftliche Mitarbeiterin und Doktorandin am Karlsruher Institut für Technologie.
Hartmut Schmeck ist Universitätsprofessor am Karlsruher Institut für Technologie (KIT). Er ist ein Kernmitglied der Organic Computing Initiative und Koordinator des DFG Schwerpunkprogramms Organic Computing Zudem ist er der Sprecher des KIT-Schwerpunkts COMMputation.
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.
Nicht-exklusives Verkaufsrecht für: Gesamte Welt.
- 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