03: Theoretische Grundlagen der Informatik, Vorlesung, WS 2018/19, 30.10.2018
- 0:00:00 Start
- 0:00:03 Rückblick
- 0:04:19 Verallgemeinertes PL für reguläre Sprachen
- 0:16:10 Beispiel (3) - Anwendung Verallgemeinertes PL
- 0:24:06 Minimierung von Automaten - Äquivalenzklassenautomat
- 0:27:47 Finden nicht überflüssiger Zustände
- 0:31:00 Beispiel
- 0:37:13 Äquivalenz
- 0:46:38 Der Äquivalenzklassenautomat
- 1:04:07 Zeugen für Nichtäquivalenz
- 1:09:26 Vorgehensweise
- 1:15:59 Zusammenfassung
| Zugehörige Institution(en) am KIT | Institut für Theoretische Informatik (ITI) |
| Publikationstyp | Audio & Video |
| Publikationsdatum | 02.11.2018 |
| Erstellungsdatum | 30.10.2018 |
| Sprache | Deutsch |
| DOI | 10.5445/DIVA/2018-791 |
| Identifikator | KITopen-ID: 1000115976 |
| Lizenz | KITopen-Lizenz |
| Serie | Theoretische Grundlagen der Informatik, Vorlesung, WS 2018/19 |
| Folge | 3 |