Vortragender
Prof. Dr. Christoph Kreitz

73 Lectures (Page 2 von 4)
Komplexitaetstheorie
Das Post'sche Korrespondenzproblem, etc.
Nicht berechenbare Probleme
Rekursion. Aufzaehlbarkeit, etc.
Funktionale und logische Programme
Primitiv-rekursive Funktionen
Tutorium
Semesterüberblick
Linear beschränkte Automaten
Ausdruckskraft von Turingmaschinen
Allgemeine und kontextsensitive Sprachen
Vereinigung, Verkettung, Hülle, Homomorphismen
Pushdown-Automaten und Grammatiken
Reguläre Sprachen
Eigenschaften regulärer Sprachen
Grammatiken
Reguläre Ausdrücke
Nichtdeterministische endliche Automaten
Endliche Automaten und Reguläre Sprachen
Endliche Automaten und Reguläre Sprachen



















