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

3 жыл бұрын

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.