Die Folien der Veranstaltung werden in zwei Versionen bereitgestellt. Die normalen ps und pdf Files enthalten eine Druckversion der Folien ohne eventuell benutzte "Animationen".

Einheit 1:	Theoretische Informatik im Wintersemester 2007/2008	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 (Folien Vertretung 9.11.:pdf )
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