Eintrag kommentierenEintrag bewerten
Dieser Eintrag wurde im Schnitt mit 0 von 5 Punkten bewertet
Glossareintrag
Zustandsformel
Glossar:5909
Externe Quellen zum Thema NEU: Externe Quellen zum Thema suchen 
Erläuterung
Mit Zustandsformeln der temporalen Logik kann man Eigenschaften beschreiben, die sich auf einen bestimmten Zustand innerhalb des Berechnungsbaumes zu der betrachteten Kripke-Struktur beziehen.

Die Menge AP enthält alle atomaren Aussagen, die in den Formeln auftreten können. Die Syntax dieser Formeln wird dann mit Hilfe folgender Regeln definiert:

  • Boolesche Operatoren: Wenn f und g Zustandsformeln sind, dann sind auch ¬ f, f ∨ g und f ∧ g Zustandsformeln.
Externe Quellen zum Thema NEU: Externe Quellen zum Thema suchen 
 Eintrag kommentieren 
 Eintrag bewerten 
Zu dieser Seite wurden noch keine Kommentare oder Bewertungen abgegeben.
 
Zum Seitenanfang Top Drucken Impressum AGB
Home

VSEK ©2001-2018