FB18 - Das Forum für Informatik

fb18.de / Diplom Informatik / Theoretische Informatik (HS)

PNL Verifikation und Erreichbarkeitssgraph

PNL Verifikation und Erreichbarkeitssgraph 2006-06-13 07:56
Anonymer User
Moin,

kann mir vielleicht jemand den Unterschied in den Bezeichnungen für den Erreichbarkeitsgraphen auf Seite 139 ff. erklären? Zuerst wird der Graph als RG(S) definiert, später werden sowohl die Bezeichner RS(S) und RG(S) benutzt (S. 139 4. Absatz, S. 141 Algorithm. 5.2)…

Ich komm damit nicht so ganz klar.
Re: PNL Verifikation und Erreichbarkeitssgraph 2006-07-12 08:46
Anonymer User
Moin,

kann mir vielleicht jemand den Unterschied in den Bezeichnungen für den Erreichbarkeitsgraphen auf Seite 139 ff. erklären? Zuerst wird der Graph als RG(S) definiert, später werden sowohl die Bezeichner RS(S) und RG(S) benutzt (S. 139 4. Absatz, S. 141 Algorithm. 5.2)…

Ich komm damit nicht so ganz klar.

RS = reachable set -> also die Erreichbarkeitsmenge

RG = reachable graph -> der Errreichberkeitsgraph