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 2009/2010 | 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 |
