Formale Systeme, Automaten und Prozesse: Vorlesung (Di, 03.05.2022)
Zur Veranstaltungsseite
  • Einbetten

Kapitel:

00:00:18
Wiederholung
00:13:06
Algorithmen für Reguläre Sprachen
00:19:53
Satz von Nerode
00:30:17
Der Myhill-Nerode DFA
00:47:36
Algorithmen für Reguläre Sprachen
00:48:17
Minimierung deteministischer Automaten
00:57:14
Isomorphie von DFAs