 |
| | | | | 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.
| |
| | | | | | | | | | | | Zu dieser Seite wurden noch keine Kommentare oder Bewertungen abgegeben. |
|
| | | | | | | | Zustandsformel | | | | |  | Erläutert Technologien | | | | | | | | | |
|
Glossar 
Forschungsprojekte 
Anbieterverzeichnis 
Datenbanksuche 
Highlights 
Eintrag kommentieren
