Theoretische Grundlagen der Informatik, WS 2015/2016, gehalten am 29.10.2015, Vorlesung und Übung - 03
Sanders, Peter
; Hübschle-Schneider, Lorenz; Maier, Tobias
; Hübschle-Schneider, Lorenz; Maier, Tobias
- 0:00:00 Starten
- 0:00:16 Wiederholung: Nichtdeterministische endliche Automaten NFA
- 0:01:36 NFA - DFA
- 0:03:18 Potenzmengenkonstruktion
- 0:03:44 Beispiel
- 0:10:54 Implementierungshinweise
- 0:12:42 Typ-3 - NFA
- 0:16:17 Mehrdeutigkeit bei Typ-3
- 0:18:21 Reguläre Ausdrücke
- 0:24:53 Beispiele
- 0:30:34 Satz: Reguläre Ausdrücke - Typ-3 Sprachen
- 0:31:54 Regulärer Ausdruck - NFA
- 0:32:27 Basisfälle
- 0:33:13 RegExp - NFA
- 0:36:31 Beweis
- 0:41:54 1. Übung - TGI
- 0:42:23 Organisatorisches
- 0:43:52 Induktion
- 0:45:28 Induktionstechniken
- 0:46:57 Chomsky-Hierarchie
- 0:51:58 Ableitungsbaum
- 0:53:55 Ableitungsbaum 2 (Bsp. aus VL)
- 0:56:25 Chomsky-1 Wortproblem
- 1:04:27 Potenzmengenkonstruktion
- 1:05:24 Potenzmengenkonstruktion (II)
| Zugehörige Institution(en) am KIT | Institut für Theoretische Informatik (ITI) |
| Publikationstyp | Audio & Video |
| Publikationsdatum | 16.11.2015 |
| Erstellungsdatum | 29.10.2015 |
| Sprache | Deutsch |
| DOI | 10.5445/DIVA/2015-760 |
| Identifikator | KITopen-ID: 1000113404 |
| Lizenz | KITopen-Lizenz |
| Serie | Theoretische Grundlagen der Informatik, Vorlesung, WS 2015/2016 |
| Folge | 3 |