Theoretische Grundlagen der Informatik, Vorlesung, WS 2016/17, 27.10.2016, 02
- 0:00:00 Starten
- 0:00:24 Letzte Vorlesung
- 0:09:53 Entfernen von e-Übergängen
- 0:20:42 EA – Regulärität
- 0:22:44 Beweis: EA – Regulärität
- 0:44:02 Beispiel
- 0:54:15 Satz von Kleene
- 0:55:54 Frage: Was können endliche Automaten nicht?
- 0:59:14 Pumping-Lemma für reguläre Sprachen
- 1:10:10 Bemerkung
- 1:11:49 Beispiel (1) zum PL
- 1:14:18 Beispiel (2) zum PL
- 1:18:31 Beispiel (3) zum PL
| Zugehörige Institution(en) am KIT | Institut für Theoretische Informatik (ITI) |
| Publikationstyp | Audio & Video |
| Publikationsdatum | 10.11.2016 |
| Erstellungsdatum | 27.10.2016 |
| Sprache | Deutsch |
| DOI | 10.5445/DIVA/2016-694 |
| Identifikator | KITopen-ID: 1000114266 |
| Lizenz | KITopen-Lizenz |
| Serie | Theoretische Grundlagen der Informatik, Vorlesung, WS 2016/17 |
| Folge | 2 |