 |
| | | | | Erläuterung | | Mit Hilfe von Pfadquantoren kann man im Kontext der temporalen Logik die Verzweigungsstruktur von Berechnungsbäumen einer Kripke-Struktur beschreiben.
Es gibt die folgenden beiden Pfadquantoren:
- A (≡ Allquantor): Dieser Quantor beschreibt, dass die folgende Eigenschaft für jeden Pfad gilt, der im betrachteten Berechnungsbaum enthalten ist. Es handelt sich also um einen universellen Pfadquantor.
- E (≡ Existenzquantor): Dieser Quantor beschreibt, dass die folgende Eigenschaft für mindestens einen Pfad im betrachteten Berechnungsbaum gilt. Es handelt sich also um einen existenziellen Pfadquantor.
| |
| | | | | | | | | | | | Zu dieser Seite wurden noch keine Kommentare oder Bewertungen abgegeben. |
|
| | | | | | | | Pfadquantoren | | | | |  | Erläutert Technologien | | | | | | | | | |
|
Glossar 
Forschungsprojekte 
Anbieterverzeichnis 
Datenbanksuche 
Highlights 
Eintrag kommentieren
