Hauptseite: Unterschied zwischen den Versionen
Css (Diskussion | Beiträge) (→Kapitel 2: Berechenbarkeitstheorie) |
Css (Diskussion | Beiträge) (→Kapitel 2: Berechenbarkeitstheorie) |
||
| Zeile 29: | Zeile 29: | ||
* [[Das Halteproblem]] | * [[Das Halteproblem]] | ||
* [[Entscheidbarkeit]] | * [[Entscheidbarkeit]] | ||
| + | * [[Orakel]] | ||
| + | * [[Der Satz von Friedberg und Muchnik]] (evtl.) | ||
=== Kapitel 3: Komplexitätstheorie === | === Kapitel 3: Komplexitätstheorie === | ||
Version vom 15. August 2018, 13:54 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
- Die Produktkonstruktion
- 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
- Der Satz von Friedberg und Muchnik (evtl.)
