Folien der Vorlesung
| Einheit 1 | Theoretische Informatik im Wintersemester 2012/2013 | pdf anim | ||
| Teil II: Endliche Automaten und Reguläre Sprachen | ||||
| Einheit 2.1: |
Deterministische endliche Automaten | pdf anim |
||
| Einheit 2.2: |
Nichtdeterministische endliche Automaten | pdf anim |
|
|
| Einheit 2.3: |
Reguläre Ausdrücke | pdf anim |
|
|
| Einheit 2.4: |
Grammatiken | pdf anim |
||
| Einheit 2.5: |
Eigenschaften regulärer Sprachen | pdf anim |
|
|
| Teil III: Kontextfreie Sprachen | ||||
| Einheit 3.1: |
Kontextfreie Grammatiken | pdf anim |
|
|
| Einheit 3.2: |
Pushdown Automaten | pdf anim |
|
|
| Einheit 3.3 |
Eigenschaften kontextfreier Sprachen | pdf anim |
|
|
| Teil IV: Allgemeine und kontextsensitive Sprachen | ||||
| Einheit 4.1 |
Turingmaschinen | pdf anim |
|
|
| Einheit 4.2 |
Modelle für Typ-0 und Typ-1 Sprachen | pdf anim |
||
| Einheit 4.3 |
Eigenschaften von Typ-0 und Typ-1 Sprachen | pdf anim |
|
|
| Rückblick |
Theoretische Informatik I |
pdf anim |
|
|
Theoretische Informatik I - Wintersemester 2012/2013 - Voaussichtlicher Ablauf
