 |
| | | | | Erläuterung | | Unter einer Transition versteht man im allgemeinen den Übergang eines Objektes von einem bestimmten Ausgangszustand in einen Folgezustand. Dieser Übergang kann von bestimmten Ereignissen ausgelöst sein und auch wiederum selbst mit bestimmten Folgeereignissen verbunden sein.
Eine Transitionsrelation im Kontext von Kripke-Strukturen ist das kartesische Produkt von der Zustandsmenge in die Zustandsmenge und dient dazu zwischen zwei Zuständen innerhalb der Kripke-Strukturen zu schalten.
Formal:
R ⊆ S x S, wobei mit zwei s,s' ∈ S geschrieben wird R(s,s'). Dementsprechend ist ein Übergang von Zustand s zum Zustand s' innerhalb der Kripke Struktur möglich. | |
| | | | | | | | | | | | Zu dieser Seite wurden noch keine Kommentare oder Bewertungen abgegeben. |
|
| | | | | | | | Transitionsrelation | | | | |  | Erläutert Technologien | | | | | | | | | | | | | | | | | | | | | | | | |
|
Glossar 
Forschungsprojekte 
Anbieterverzeichnis 
Datenbanksuche 
Highlights 
Eintrag kommentieren
