Theoretische Grundlagen der Informatik, WS 2015/2016, gehalten am 05.11.2015, Vorlesung und Übung - 05
Sanders, Peter
; Hübschle-Schneider, Lorenz; Maier, Tobias
; Hübschle-Schneider, Lorenz; Maier, Tobias
- 0:00:00 Starten
- 0:00:08 Wiederholung: DFA - RegExp
- 0:02:19 Zur Erinnerung: Äquivalenzrelationen
- 0:05:18 Verfeinerung
- 0:08:02 Nerode Relation
- 0:11:01 DEAs induzieren Äquivalenzrelationen
- 0:14:08 Unendlicher Index der Neroderelation
- 0:17:55 Äquivalenzklassenautomat
- 0:35:26 Nerode Relation
- 0:37:05 Beispiel
- 0:39:44 Satz von Nerode
- 0:42:05 2. Übung
- 0:42:52 Pumping-Lemma
- 0:46:57 Pumping-Lemma: Beispiel
- 0:50:41 Epsilon-Abschluss
- 1:00:02 Nerode-Relation
| Zugehörige Institution(en) am KIT | Institut für Theoretische Informatik (ITI) |
| Publikationstyp | Audio & Video |
| Publikationsdatum | 16.11.2015 |
| Erstellungsdatum | 05.11.2015 |
| Sprache | Deutsch |
| DOI | 10.5445/DIVA/2015-762 |
| Identifikator | KITopen-ID: 1000113406 |
| Lizenz | KITopen-Lizenz |
| Serie | Theoretische Grundlagen der Informatik, Vorlesung, WS 2015/2016 |
| Folge | 5 |