Fragen zu Aufgabe 3.2

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

Hallo!

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

Also zur 2a) ich verstehe das als XOR.
zur 2b und 2c , sind mir ebenfalls unklar, hab bislang keine wirkliche Lösung erarbeiten können.
gruß Alex.

markus Wrote:
-------------------------------------------------------
>
> 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]