03 |
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