login
Registrieren
Login
Bibliothek
Das System
Kontakt
Theoretische Informatik
Stapel
Fach lernen
suchen
drucken
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
Kommentare
Nur angemeldete Nutzer dürfen kommentieren.
Hier
geht's zur kostenlosen Registrierung.
FAQ
Kontakt
Impressum
Datenschutz
Nutzungsbedingungen
© 2015 - 2024 Philipp Schweers