Theoretische Informatik

      Az.
Einleitung   12
Grammatiken   13
Deterministischer endlicher Automat   2
Nichtdeterministischer endlicher Automat   2
Endliche Automaten und reguläre Grammatiken   2
Grenzen endlicher Automaten   2
Reguläre Ausdrücke   2
Der Satz von Myhill-Nerode   5
Kontextfreie Grammatiken: Eigenschaften   5
Pushdown-Automaten   4
Deterministische Pushdown-Automaten und der CYK-Algorithmus   2
Die Turing-Maschine   4
Turing-Maschinen: Äquivalente Modelle, Zeit- und Platzkomplexität   4
Unentscheidbare Probleme   3
Reduktionsmethode   1
Der Satz von Rice und die Reduktionsmethode   3
Das Postsche Korrespondenzproblem   1
Unentscheidbare Probleme bei formalen Sprachen   2
Komplexitätstheorie - Einführung   7
Nichtdeterministische Komplexität   8
Polynomielle Reduktion   2
Der Satz von Cook   2
Weitere NP-vollständige Probleme   3
Weitere Komplexitätsklassen   6
Weitere Relationen zwischen Komplexitätsklassen   1