Bisimulazione
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 · Italiano
Nel campo dell'informatica teorica la bisimulazione è una relazione binaria tra sistemi a transizione di stati, che associa due sistemi quando si comportano nello stesso modo, quando cioè un sistema simula l'altro e viceversa. Intuitivamente due sistemi sono bisimilari se le transizioni di uno possono essere ordinatamente mimate dall'altro, ed è in questo senso che si dice che un osservatore non è in grado di distinguerli.
Abstract from DBpedia / Wikipedia · CC BY-SA