Übungsblatt 3 - Aufgabe 2

zu c)
Aussage vom Übungsblatt ist:
Man kommt abwechselnd in einen Zustand, im dem a gilt und in einen Zustand in dem b gilt; zwischen diesen dürfen beliebig viele Zustände liegen.


Dürfen nun unter diesen "beliebig viele Zustände" auch Zustände sein in denen a (bzw. b) gilt oder soll das durch das "abwechselnd" gerade ausgeschlossen werden.

Ist auch erlaubt das a und b im gleichen Zustand gelten.

Soll die Aussage z.B. im Automaten, in dem jeder Zustand a und b erfüllt, gelten?



zu d)
Aussage vom Übungsblatt ist:
Spätestens drei Zeitschritte nach einem Zustand, in dem req gilt, kommt man in einen Zustand, in dem ack gilt.

Muss der Zustand in dem ack gilt nach dem Zustand kommen in dem req gilt oder ist die Aussage auch erfüllt, wenn req und ack im gleichen Zustand gelten?

Ich habe heute in der Vorlesung den Thomas Eschbach gefragt und die Aussagen sollen folgendermaßen zu verstehen sein:

c)
Nach einem Zustand in dem a gilt, darf so lange kein Zustand kommen in dem a gilt, bis ein Zustand kommt in dem b gilt.
a und b dürfen nicht im selben Zustand gelten.

d)
Die Aussage soll auch erfüllt sein wenn req und ack im selben Zustand gelten.