Hallo! Aufgabe 2.b) "Man kann einen Fehlerzustand (in diesem gilt e) nur dann erreichen, wenn zuvor ein problematischer Zustand (in dem p gilt) vorkam." Wird ein Pfad nach auftreten eines Fehlerzustandes beendet, oder können auch danach wieder problematische und Fehlerzustände auftreten? Aufgabe 2.c) "Man kommt abwechselnd in einen Zustand, in dem a gilt und in einen Zustand, in dem b gilt; zwischen diesen dürfen beliebig viele Zustände liegen." Schließen sich Zustand a und Zustand b aus? Darf zwischen Zustand a und Zustand b kein weiteres Mal Zustand a gelten? Sind die Pfade unendlich tief? Bzw. kann man davon ausgehen, daß nach jedem Zustand a auch wieder ein Zustand b kommen wird? Gruß Markus https://ira.informatik.uni-freiburg.de/phorum/read.php?32,2017,2017#msg-2017 Tue, 17 Dec 2024 10:33:08 +0100 Phorum 5.2.23 https://ira.informatik.uni-freiburg.de/phorum/read.php?32,2017,2021#msg-2021 https://ira.informatik.uni-freiburg.de/phorum/read.php?32,2017,2021#msg-2021 -------------------------------------------------------
>
> Aufgabe 2.b)
> "Man kann einen Fehlerzustand (in diesem gilt e)
> nur dann erreichen, wenn zuvor ein problematischer
> Zustand (in dem p gilt) vorkam."
> Wird ein Pfad nach auftreten eines Fehlerzustandes
> beendet, oder können auch danach wieder
> problematische und Fehlerzustände auftreten?

Das macht, soweit ich denke, keinen Unterschied ob der Pfad danach endet oder nicht... oder wo könnte deiner Meinung nach das Problem liegen?

> Aufgabe 2.c)
> "Man kommt abwechselnd in einen Zustand, in dem a
> gilt und in einen Zustand, in dem b gilt; zwischen
> diesen dürfen beliebig viele Zustände liegen."
> Schließen sich Zustand a und Zustand b aus?
> Darf zwischen Zustand a und Zustand b kein
> weiteres Mal Zustand a gelten?
> Sind die Pfade unendlich tief? Bzw. kann man davon
> ausgehen, daß nach jedem
> Zustand a auch wieder ein Zustand b kommen wird?

siehe: [ira.informatik.uni-freiburg.de]]]> Sven Reimer Rechnerarchitektur SS 2006 Wed, 24 May 2006 13:31:05 +0200 https://ira.informatik.uni-freiburg.de/phorum/read.php?32,2017,2019#msg-2019 https://ira.informatik.uni-freiburg.de/phorum/read.php?32,2017,2019#msg-2019 zur 2b und 2c , sind mir ebenfalls unklar, hab bislang keine wirkliche Lösung erarbeiten können.
gruß Alex.]]> Alexander Schulz Rechnerarchitektur SS 2006 Tue, 23 May 2006 18:49:06 +0200 https://ira.informatik.uni-freiburg.de/phorum/read.php?32,2017,2018#msg-2018 https://ira.informatik.uni-freiburg.de/phorum/read.php?32,2017,2018#msg-2018
Aufgabe 2.a)
"Für alle ereichbaren Zustände gilt, daß entweder g oder h erfüllt werden."
Ist das "entweder, oder" als XOR zu verstehen?

Aufgabe 2.b)
"Man kann einen Fehlerzustand (in diesem gilt e) nur dann erreichen, wenn zuvor ein problematischer Zustand (in dem p gilt) vorkam."
Wird ein Pfad nach auftreten eines Fehlerzustandes beendet, oder können auch danach wieder problematische und Fehlerzustände auftreten?

Aufgabe 2.c)
"Man kommt abwechselnd in einen Zustand, in dem a gilt und in einen Zustand, in dem b gilt; zwischen diesen dürfen beliebig viele Zustände liegen."
Schließen sich Zustand a und Zustand b aus?
Darf zwischen Zustand a und Zustand b kein weiteres Mal Zustand a gelten?
Sind die Pfade unendlich tief? Bzw. kann man davon ausgehen, daß nach jedem
Zustand a auch wieder ein Zustand b kommen wird?

Gruß


Markus]]> markus Rechnerarchitektur SS 2006 Mon, 22 May 2006 11:55:56 +0200 https://ira.informatik.uni-freiburg.de/phorum/read.php?32,2017,2017#msg-2017 https://ira.informatik.uni-freiburg.de/phorum/read.php?32,2017,2017#msg-2017
Aufgabe 2.b)
"Man kann einen Fehlerzustand (in diesem gilt e) nur dann erreichen, wenn zuvor ein problematischer Zustand (in dem p gilt) vorkam."
Wird ein Pfad nach auftreten eines Fehlerzustandes beendet, oder können auch danach wieder problematische und Fehlerzustände auftreten?

Aufgabe 2.c)
"Man kommt abwechselnd in einen Zustand, in dem a gilt und in einen Zustand, in dem b gilt; zwischen diesen dürfen beliebig viele Zustände liegen."
Schließen sich Zustand a und Zustand b aus?
Darf zwischen Zustand a und Zustand b kein weiteres Mal Zustand a gelten?
Sind die Pfade unendlich tief? Bzw. kann man davon ausgehen, daß nach jedem
Zustand a auch wieder ein Zustand b kommen wird?

Gruß


Markus]]> markus Rechnerarchitektur SS 2006 Sun, 21 May 2006 18:35:33 +0200