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.
| Einführung: | Theoretische Informatik im Wintersemester 2004/2005 | |
| Teil I: Grundlagen | ||
| Einheit 1: | Mathematische Methodik | |
| Teil II:Endliche Automaten und Reguläre Sprachen | ||
| Einheit 2.1: | Deterministische endliche Automaten | |
| Einheit 2.2: | Nichtdeterministische endliche Automaten | |
| Einheit 2.3: | Reguläre Ausdrücke | |
| Einheit 2.4: | Typ-3 Grammatiken | |
| Einheit 2.5: | Eigenschaften regulärer Sprachen | |
| Teil III: Kontextfreie Sprachen | ||
| Einheit 3.1: | Kontextfreie Grammatiken | |
| Einheit 3.2: | Pushdown Automaten | |
| Einheit 3.3: | Eigenschaften kontextfreier Sprachen | |
| Rückblick Theoretische Informatik I | ||