Frage zu CTL
September 21, 2007 01:30PM
Aufgaben-Quelle
Becker 2006 / Anwesenheistaufgaben-Blatt 2
[ira.informatik.uni-freiburg.de]
Passwort ist das selbe wie dieses Jahr..

Aufgabe 2
Allgemein :
Müssen die Formeln von jedem Zustand aus gelten, oder müssen sie immer vom Startzustand aus gelten (b)?

2i)
Da es einen unendlichen Pfad mit b-c-b-c-b-c... gibt, gilt diese Formel eigentilch nicht, ist das richtig? Zwar kann man von b zu a und von c - d, jedoch betrachten wir eben nur den Fall, man springe im Zyklus b-c hin und her. Und da die Aussage ja für ALLE Pfade gelten muss, ist sie falsch?

Vielen Dank

Eugen
Re: Frage zu CTL
September 21, 2007 01:37PM
Die Frage ist, in welchem Zuständen die Aussagen gelten. Also, gilt Aussage a) in Zustand a? Gilt Aussage b) in Zustand a? usw. für Zustand b,c,d.

Zu 2i) : genau. Es gibt einen Pfad, den unendlichen Pfad b-c-b-c, wo die Aussage nicht gilt. Somit also nicht für alle, also gilt 2i nicht für Zustand b.
Sorry, you do not have permission to post/reply in this forum.