双模倣性
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
Within Vinony's link graph, 双模倣性 is referenced by 37 other articles, and connects out to time complexity, state transition system and International Standard Book Number.
It sits within the topics Formal methods, Logic in computer science and Theoretical computer science.
Its subject is documented across 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 · 日本語
双模倣性（そうもほうせい、Bisimulation）とは、理論計算機科学における複数の状態遷移系の間の同値関係を意味する。そのようなシステムは、互いに他のシステムの動作をシミュレートできるという意味で同じ動作が可能である。 直感的に言えば、同じ動作をする2つのシステムは「双模倣的」である。その意味で観察者から見て両システムは区別できない。 クリプキモデルは（ラベル付き）状態遷移系の特殊ケースであるため、双模倣性は様相論理学の概念とも言える。
Abstract from DBpedia / Wikipedia · CC BY-SA