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