Theoretische Grundlagen der Informatik, Vorlesung, WS 2016/17, 03.11.2016, 03
- 0:00:00 Starten
- 0:00:25 Verallgemeinertes PL für reguläre Sprachen
- 0:17:18 Kapitel Minimierung von Automaten und Äquivalenzklassenautomat
- 0:20:14 Frage: Kann man konstruktiv die Anzahl der Zustände eines deterministischen endlichen Automatens erheblich verringern?
- 0:22:04 Beispiel
- 0:34:34 Äquivalenz
- 0:37:22 Der Äquivalenzklassenautomat
- 0:48:03 Frage: Wie berechnet man alle Äquivalenzklassen zu den Zuständen von A?
- 0:53:43 Frage: Wann kann dieses Verfahren abgebrochen werden?
- 0:57:26 Vorgehensweise
- 1:00:09 Beispiel zur Vorgehensweise
| Zugehörige Institution(en) am KIT | Institut für Theoretische Informatik (ITI) |
| Publikationstyp | Audio & Video |
| Publikationsdatum | 08.11.2016 |
| Erstellungsdatum | 03.11.2016 |
| Sprache | Deutsch |
| DOI | 10.5445/DIVA/2016-695 |
| Identifikator | KITopen-ID: 1000114267 |
| Lizenz | KITopen-Lizenz |
| Serie | Theoretische Grundlagen der Informatik, Vorlesung, WS 2016/17 |
| Folge | 3 |