Frage zu CTL

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

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.