Minimierung Aufgabe 14

Question

Hallo,

ich habe die Tabelle und den Automaten exakt herausgefunden. Nur weiß ich nicht, wonach ich meine neuen Endzustände bestimme, wie sehe ich das? In dem Fall s2 s4 s7... Danke!

Answer 1

Geht es Ihnen um Minimierung (wie der Titel andeutet) oder um das Deterministisch-Machen - wie in der Aufgabe?

Beim Minimieren ist jeder Zustand Endzustand, der aus einem oder mehr Endzuständen im Original-Automaten entstanden ist.

Beim Deterministisch-Machen ist ein Zustand genau dann Endzustand, wenn mindestens einer der Zustände im Originalautomaten, aus dem die Menge gebildet wurde, die zu dem neuen Zustand gehört, ein Endzustand war. (Das liegt daran, dass ein nichtdeterministischer Automat immer genau dann akzeptiert, wenn es mindestens einen akzeptierenden Berechnungsweg gibt.)