Ü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? https://ira.informatik.uni-freiburg.de/phorum/read.php?32,2016,2016#msg-2016 Tue, 17 Dec 2024 10:33:09 +0100 Phorum 5.2.23 https://ira.informatik.uni-freiburg.de/phorum/read.php?32,2016,2020#msg-2020 Re: Übungsblatt 3 - Aufgabe 2 https://ira.informatik.uni-freiburg.de/phorum/read.php?32,2016,2020#msg-2020
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.]]> Óglaigh na hÉireann ? Rechnerarchitektur SS 2006 Tue, 23 May 2006 22:29:37 +0200 https://ira.informatik.uni-freiburg.de/phorum/read.php?32,2016,2016#msg-2016 Übungsblatt 3 - Aufgabe 2 https://ira.informatik.uni-freiburg.de/phorum/read.php?32,2016,2016#msg-2016 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?]]> Óglaigh na hÉireann ? Rechnerarchitektur SS 2006 Sat, 20 May 2006 13:19:04 +0200