 | ||||||||||||||||||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||||||||||||||||||
Glossar 
Forschungsprojekte 
Anbieterverzeichnis 
Datenbanksuche 
Highlights | ||||||||||||||||||||||||||||||||||||
| Wissensbrowser starten | ||||||||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||||||||
| ||||||
|  | |  | |  | |
| ||||||
| ||||||
|  | | ||||
| ||||||
Verfahren |
|
Mächtigkeit von LTL, CTL und CTL* |
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| Beschreibung | |||||||||
| |||||||||
| Man kann nachweisen, daß die drei Logiken CTL, LTL und CTL* unterschiedlich mächtig sind. Bei der Formel
handelt es sich beispielsweise um eine LTL-Formel, die sich nicht in CTL ausdrücken lässt. Die Formel beschreibt die Eigenschaft des zugrundeliegenden Berechnungsbaums, dass es auf jedem Pfad einen Zustand gibt, von dem an die Eigenschaft p immer erfüllt ist. Ebenso gibt es keine LTL-Formel, die äquivalent zu ist, einer CTL-Formel, die die Eigenschaft beschreibt, dass auf allen Pfaden immer gilt, dass von jedem Zustand des Pfades aus betrachtet eine Verzweigung existiert, auf der irgendwann die Eigenschaft p erfüllt ist. Die Disjunktion der beiden vorherigen Formeln wiederum ist eine CTL*-Formel, die sich weder in CTL noch in LTL ausdrücken lässt. Rückkehr zu Temporale Logik | |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
Eintrag kommentieren | ||||
| ||||
 | Übergeordnet | | ||
| ||||
|
| | ||
| ||||
| ||||
| ||||
| ||||
| Mächtigkeit von LTL,... | ||||
| ||||
| ||||
| ||||
| ||||
| Weitere Themen | | ||
| ||||
|
| | ||
|
| | ||
|
| | ||
|
| | ||
|
| | ||
|
| | ||
|
| | ||
| ||||
| ||||
| | | ||
| ||||||||||||||
|
