Hallo,

ist bei den Automaten aus Blatt 2, Aufgabe 3 unwesentlich, welche Zustände Finalzustände darstellen?

(oder steh ich hier irgendwie auf dem Schlauch?)

Gruß Nils

Hallo,

für diese Aufgabe spielen Endzustände keine Rolle, deswegen wurden auch keine angegeben.

Gruß
Bettina Braitling

Und kann man aufhören wenn man zu einer inkonsistenz kommt die auf nicht-äquivalenz hindeutet?

Hi

Ja, natürlich: Wenn es *irgendwann* einen Unterschied gibt, sind die Automaten nicht äquivalent.

Grüße
Tobias Nopper