Theoretische Informatik

Inhalt

Formale Sprachen und Automaten
Endliche Automaten — Reguläre Sprachen I — Worterzeugung und Grammatiken — Chomsky-Hierarchie — Reguläre Sprachen und endliche Automaten — Nicht-Deterministische endliche Automaten — Grammatiken und NEA — Äquivalenz von NEA und DEA — Reguläre Ausdrücke — Das Pumping-Lemma — Automatenminimierung — Abschlusseigenschaften regulärer Sprachen — Kontextfreie Sprachen — Kellerautomaten — CYK-Algorithmus

Berechenbarkeitstheorie
Turing-Maschinen — LBA und der Satz von Kuroda — Berechenbarkeit und Church-Turing-These — Varianten von Turing-Maschinen — Berechnungskomplexität — Alternative Berechnungsmodelle (While-Sprache, Goto-Sprache) — Universelle Turing-Maschinen — Das Halteproblem — Satz von Rice

Komplexitätstheorie
Definitionen — Komplexitätsklassen — Struktur von NP — Struktur polynomialer Reduzierbarkeit — Ausblick