Blatt 2, Aufgabe 3
May 02, 2005 05:24PM
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
Re: Blatt 2, Aufgabe 3
May 02, 2005 08:21PM
Hallo,

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

Gruß
Bettina Braitling
Re: Blatt 2, Aufgabe 3
May 04, 2005 05:34PM
Und kann man aufhören wenn man zu einer inkonsistenz kommt die auf nicht-äquivalenz hindeutet?
Re: Blatt 2, Aufgabe 3
May 06, 2005 11:55PM
Hi

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

Grüße
Tobias Nopper
Sorry, you do not have permission to post/reply in this forum.