Vereinigungen und Schnitte regulärer Sprachen

Wir schauen uns Abschlusseigenschaften regulärer Sprachen an und beginnen mit Vereinigung und Schnitt. Dabei begenet uns der Produktautomat.
► Vorlesungsfolien zum Download: iccl.inf.tu-dr... (5. Vorlesung)
► Aktuelle und frühere Versionen der Vorlesung: iccl.inf.tu-dr...
► Fehler gefunden? Issues melden auf github: github.com/kno...

[@schweinchenjoe3002]

ist nicht bei 19:15 der Zustand (B, D) komplett irrelevant für den Automaten, da von dort sowieso kein Endzustand mehr erreicht werden kann? Oder könnte man solche Zustände nicht generell löschen ohne dass sich etwas an der akzeptierten Sprache ändern würde?

[@prof.markus6569]

Richtig, dieser Zustand könnte gelöscht werden, ohne dass sich die akzeptierte Sprache ändert. Wie man daran sieht, erzeugt die Produktkonstruktion nicht immer optimale Darstellungen der gesuchten Sprache. Man könnte das Resultat dann durch Löschen von Zuständen weiter verkleinern. Zur Erzeugung wirklich minimaler Automaten gibt es allerdings noch ganz andere Methoden, die wir später besprechen.