Bisimulation
Sign in to saveAlso known as bisimilar, bisimilarity
In theoretical computer science, a bisimulation is a binary relation between state transition systems, associating systems that behave in the same way in that one system simulates the other and vice versa.
Wikidata facts
- Subclass of
- binary relation
Show 1 more fact
- facet of
- state transition system
Sources (2)
via Wikidata · CC0
Article · Deutsch
In der theoretischen Informatik ist eine Bisimulation eine Relation zwischen den Zuständen eines Transitionssystems, die solche Zustände miteinander in Beziehung setzt, die sich gleich verhalten. Das bedeutet, dass der eine Zustand die Übergänge des anderen simulieren kann und umgekehrt. Anschaulich gesprochen sind zwei Zustände bisimilar, wenn ihre möglichen Züge übereinstimmen. In diesem Sinne können sie von einem außenstehenden Beobachter nicht voneinander unterschieden werden.
Abstract from DBpedia / Wikipedia · CC BY-SA