Hauptseite: Unterschied zwischen den Versionen
Css (Diskussion | Beiträge) (→Kapitel 3: Komplexitätstheorie) |
Css (Diskussion | Beiträge) (→Kapitel 1: Automaten) |
||
| Zeile 14: | Zeile 14: | ||
=== Kapitel 1: Automaten === | === Kapitel 1: Automaten === | ||
* [[Deterministische Endliche Automaten]] | * [[Deterministische Endliche Automaten]] | ||
| − | |||
* [[Nichtdeterministische Endliche Automaten]] | * [[Nichtdeterministische Endliche Automaten]] | ||
* [[Minimierung von deterministischen endlichen Automaten]] | * [[Minimierung von deterministischen endlichen Automaten]] | ||
Version vom 24. August 2018, 16:38 Uhr
MediaWiki wurde installiert.
$\sum\limits_{i=1}^\infty i=-\frac{1}{12}$
Hilfe zur Benutzung und Konfiguration der Wiki-Software findest du im Benutzerhandbuch.
Inhaltsverzeichnis
Index
Kapitel 0: Einführung
Kapitel 1: Automaten
- Deterministische Endliche Automaten
- Nichtdeterministische Endliche Automaten
- Minimierung von deterministischen endlichen Automaten
- Reguläre Ausdrücke
- Pumping Lemma
- Kellerautomaten
- Die Chomsky-Hierarchie (evtl.)
Kapitel 2: Berechenbarkeitstheorie
- Deterministische Turingmaschinen
- Zweikellerautomaten
- Registermaschinen
- Die Universelle Registermaschine
- Das Halteproblem
- Entscheidbarkeit
- Orakel
Kapitel 3: Komplexitätstheorie
Kapitel 4: Logik
- Logische Theorien
- Klassische Modelle
- Logische Komplexität
- Der Satz von Fagin
- Der Kalkül des natürlichen Schließens
- Der Vollständigkeitssatz (evtl.)
- Der Unvollständigkeitssatz (evtl.)
- Intuitionistische Logik und Kripkemodelle (evtl.)
