Folien der Vorlesung
Einheit 1 | Theoretische Informatik im Wintersemester 2011/2012 | pdf anim | neu | notes |
Teil II: Endliche Automaten und Reguläre Sprachen | ||||
Einheit 2.1: |
Deterministische endliche Automaten | pdf anim |
neu | notes |
Einheit 2.2: |
Nichtdeterministische endliche Automaten | pdf anim |
neu | notes |
Einheit 2.3: |
Reguläre Ausdrücke | pdf anim |
neu |
notes |
Einheit 2.4: |
Typ-3 Grammatiken | pdf anim |
neu | notes |
Einheit 2.5: |
Eigenschaften regulärer Sprachen | pdf anim |
neu | |
Teil III: Kontextfreie Sprachen | ||||
Einheit 3.1: |
Kontextfreie Grammatiken | pdf anim |
neu | |
Einheit 3.2: |
Pushdown Automaten | pdf anim |
neu | |
Einheit 3.3 |
Eigenschaften kontextfreier Sprachen | pdf anim |
neu | |
Teil IV: Allgemeine und kontextsensitive Sprachen | ||||
Einheit 4.1 |
Turingmaschinen | pdf anim |
neu | |
Einheit 4.2 |
Modelle für Typ-0 und Typ-1 Sprachen | pdf anim |
neu | notes |
Einheit 4.3 |
Eigenschaften von Typ-0 und Typ-1 Sprachen | pdf anim |
neu | |
Rückblick |
Theoretische Informatik I |
pdf anim |
|
Video-Mitschnitte der Vorlesungen dieses Semesters sind auf den Tele-Task Webseiten unter http://tele-task.de/archive/series/overview/867/ zu finden