bissimulação
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.
In the Vinony graph
Vinony's link graph records 37 inbound references to bissimulação, and connects out to time complexity, state transition system and International Standard Book Number.
Vinony files it under Formal methods, Logic in computer science and Theoretical computer science.
Vinony links it to 8 Wikipedia language editions.
Wikidata facts
- Subclass of
- binary relation
Show 1 more fact
- facet of
- state transition system
Sources (2)
via Wikidata · CC0
Article · Português
Na teoria da computação uma bissimulação é uma relação binária entre sistemas de transição de estados, ou também chamados apenas de sistemas de transição (sistemas constituintes de estados e transições), associando sistemas que se comportam da mesma maneira no sentido de que um sistema simula o outro e vice-versa. Intuitivamente dois sistemas são bissimilares se eles combinam seus movimentos entre si. Neste sentido, cada um dos sistemas não pode ser distinto um do outro por um observador.
Abstract from DBpedia / Wikipedia · CC BY-SA