Theoretische Informatik I Universität Potsdam, Wintersemester 2006/2007

Folien der Vorlesung

Die Folien der Veranstaltung werden in zwei Versionen bereitgestellt. Die normalen ps und pdf Files enthalten eine Druckversion der Folien ohne eventuell benutzte "Animationen". Das anim file enthält die vollständige PDF Version mit Animationen.

Videomitschnitte der Vorlesungen findet man online unter http://www.tele-task.de/index.php?page_id=42&mode_id=1&series_id=592. Die Veranstaltungen können dort auch live verfolgt werden.

Einheit 1: Theoretische Informatik im Wintersemester 2006/2007 ps pdf anim 
Teil II:Endliche Automaten und Reguläre Sprachen
Einheit 2.1: Deterministische endliche Automaten ps pdf anim 
Einheit 2.2: Nichtdeterministische endliche Automaten ps pdf anim 
Einheit 2.3: Reguläre Ausdrücke ps pdf anim 
Einheit 2.4: Typ-3 Grammatiken ps pdf anim 
Einheit 2.5: Eigenschaften regulärer Sprachen ps pdf anim 
Teil III: Kontextfreie Sprachen
Einheit 3.1: Kontextfreie Grammatiken ps pdf anim 
Einheit 3.2: Pushdown Automaten ps pdf anim 
Einheit 3.3: Eigenschaften kontextfreier Sprachen ps pdf anim 
Teil IV: Allgemeine und kontextsensitive Sprachen
Einheit 4.1: Turingmaschinen ps pdf anim 
Einheit 4.2: Modelle für Typ-0 und Typ-1 Sprachen ps pdf anim 
Einheit 4.3: Eigenschaften von Typ-0 und Typ-1 Sprachen ps pdf anim 
Rückblick Theoretische Informatik I ps pdf anim 
Datenschutzerklärung · XHTML · CSS  Letzte Änderung:  tim at-Zeichen cs Punkt uni-potsdam Punkt de,  12.12.2006