Bisimulation (original) (raw)
Bisimulace je v teoretické informatice relace ekvivalence mezi stavy přechodových systémů. Intuitivně jsou dva systémy bisimilární, pokud dokážou dorovnat své vzájemné tahy. V tomto smyslu vnější pozorovatel nedokáže dva bisimilární systémy rozlišit. Neboť jsou zvláštním případem přechodových systémů, bisimulace se objevuje jako téma v modální logice.
| Property | Value |
|---|---|
| dbo:abstract | Bisimulace je v teoretické informatice relace ekvivalence mezi stavy přechodových systémů. Intuitivně jsou dva systémy bisimilární, pokud dokážou dorovnat své vzájemné tahy. V tomto smyslu vnější pozorovatel nedokáže dva bisimilární systémy rozlišit. Neboť jsou zvláštním případem přechodových systémů, bisimulace se objevuje jako téma v modální logice. (cs) 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. (de) 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. Intuitively two systems are bisimilar if they, assuming we view them as playing a game according to some rules, match each other's moves. In this sense, each of the systems cannot be distinguished from the other by an observer. (en) En informatique théorique, une bisimulation est une relation binaire entre systèmes de transition d'états, associant les systèmes qui se comportent de la même façon au sens qu'un des systèmes simule l'autre et vice-versa. Intuitivement, deux systèmes sont bisimilaires s'ils sont capables de s'imiter l'un l'autre. Dans cette optique, les systèmes ne peuvent être distingués l'un de l'autre par un observateur. (fr) 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. (it) 双模倣性（そうもほうせい、Bisimulation）とは、理論計算機科学における複数の状態遷移系の間の同値関係を意味する。そのようなシステムは、互いに他のシステムの動作をシミュレートできるという意味で同じ動作が可能である。 直感的に言えば、同じ動作をする2つのシステムは「双模倣的」である。その意味で観察者から見て両システムは区別できない。 クリプキモデルは（ラベル付き）状態遷移系の特殊ケースであるため、双模倣性は様相論理学の概念とも言える。 (ja) 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. (pt) |
| dbo:thumbnail | wiki-commons:Special:FilePath/Coalgebraic_bisimulation.svg?width=300 |
| dbo:wikiPageExternalLink | http://www.brics.dk/bisim/ http://cadp.inria.fr |
| dbo:wikiPageID | 397571 (xsd:integer) |
| dbo:wikiPageLength | 13480 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID | 1116612397 (xsd:integer) |
| dbo:wikiPageWikiLink | dbr:Power_set dbr:Prentice_Hall dbr:Modal_logic dbr:MCRL2 dbr:CADP dbr:Binary_relation dbr:Relation_(mathematics) dbr:Quasilinear_time dbr:Order_theory dbr:Quantale dbr:Congruence_relation dbr:Converse_relation dbr:Operational_semantics dbr:Simulation_preorder dbr:Commutative_diagram dbr:Composition_of_relations dbr:Functor dbr:Kripke_semantics dbr:Theoretical_computer_science dbc:Transition_systems dbr:Lecture_Notes_in_Computer_Science dbr:Equivalence_relation dbr:First-order_logic dbr:Partition_refinement dbr:Greatest_fixed_point dbr:Product_(category_theory) dbc:Formal_methods dbc:Logic_in_computer_science dbc:Theoretical_computer_science dbr:Johan_van_Benthem_(logician) dbr:Bijection dbr:Transition_system dbr:Polynomial_time dbr:Knaster–Tarski_theorem dbr:Up_to dbr:F-coalgebra dbr:Programming_language dbr:Probabilistic_bisimulation dbr:Stutter_bisimulation dbr:Springer-Verlag dbr:State_transition_system dbr:File:Coalgebraic_bisimulation.svg |
| dbp:wikiPageUsesTemplate | dbt:Authority_control dbt:Cite_book dbt:Cite_conference dbt:ISBN dbt:More_citations_needed dbt:Reflist dbt:Sfnp dbt:Short_description |
| dct:subject | dbc:Transition_systems dbc:Formal_methods dbc:Logic_in_computer_science dbc:Theoretical_computer_science |
| gold:hypernym | dbr:Relation |
| rdf:type | owl:Thing dbo:Agent yago:Ability105616246 yago:Abstraction100002137 yago:Cognition100023271 yago:Know-how105616786 yago:Method105660268 yago:PsychologicalFeature100023100 yago:WikicatFormalMethods |
| rdfs:comment | Bisimulace je v teoretické informatice relace ekvivalence mezi stavy přechodových systémů. Intuitivně jsou dva systémy bisimilární, pokud dokážou dorovnat své vzájemné tahy. V tomto smyslu vnější pozorovatel nedokáže dva bisimilární systémy rozlišit. Neboť jsou zvláštním případem přechodových systémů, bisimulace se objevuje jako téma v modální logice. (cs) 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. (de) 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. Intuitively two systems are bisimilar if they, assuming we view them as playing a game according to some rules, match each other's moves. In this sense, each of the systems cannot be distinguished from the other by an observer. (en) En informatique théorique, une bisimulation est une relation binaire entre systèmes de transition d'états, associant les systèmes qui se comportent de la même façon au sens qu'un des systèmes simule l'autre et vice-versa. Intuitivement, deux systèmes sont bisimilaires s'ils sont capables de s'imiter l'un l'autre. Dans cette optique, les systèmes ne peuvent être distingués l'un de l'autre par un observateur. (fr) 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. (it) 双模倣性（そうもほうせい、Bisimulation）とは、理論計算機科学における複数の状態遷移系の間の同値関係を意味する。そのようなシステムは、互いに他のシステムの動作をシミュレートできるという意味で同じ動作が可能である。 直感的に言えば、同じ動作をする2つのシステムは「双模倣的」である。その意味で観察者から見て両システムは区別できない。 クリプキモデルは（ラベル付き）状態遷移系の特殊ケースであるため、双模倣性は様相論理学の概念とも言える。 (ja) 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. (pt) |
| rdfs:label | Bisimulace (cs) Bisimulation (de) Bisimulation (en) Bisimulation (fr) Bisimulazione (it) 双模倣性 (ja) Bissimulação (pt) |
| owl:sameAs | freebase:Bisimulation yago-res:Bisimulation http://d-nb.info/gnd/4619739-4 wikidata:Bisimulation dbpedia-cs:Bisimulation dbpedia-de:Bisimulation dbpedia-fa:Bisimulation dbpedia-fr:Bisimulation dbpedia-it:Bisimulation dbpedia-ja:Bisimulation dbpedia-pt:Bisimulation https://global.dbpedia.org/id/529Lr |
| prov:wasDerivedFrom | wikipedia-en:Bisimulation?oldid=1116612397&ns=0 |
| foaf:depiction | wiki-commons:Special:FilePath/Coalgebraic_bisimulation.svg |
| foaf:isPrimaryTopicOf | wikipedia-en:Bisimulation |
| is dbo:knownFor of | dbr:David_Park_(computer_scientist) |
| is dbo:wikiPageRedirects of | dbr:Bisimilar dbr:Bisimilarity |
| is dbo:wikiPageWikiLink of | dbr:List_of_computer_scientists dbr:List_of_functional_programming_topics dbr:Mostowski_collapse_lemma dbr:Principles_of_Model_Checking dbr:Bigraph dbr:Binary_relation dbr:David_Park_(computer_scientist) dbr:Jan_Friso_Groote dbr:List_of_programmers dbr:List_of_programming_language_researchers dbr:Coinduction dbr:Corecursion dbr:Operational_semantics dbr:Calculus_of_broadcasting_systems dbr:Kripke_semantics dbr:Stuttering_equivalence dbr:Dmitry_Mirimanoff dbr:Isomorphism dbr:Prefix_order dbr:Region_(model_checking) dbr:Johan_van_Benthem_(logician) dbr:Transition_system dbr:Bunched_logic dbr:Guarded_logic dbr:Process_calculus dbr:Π-calculus dbr:Up_to dbr:F-coalgebra dbr:Semantics_encoding dbr:Probabilistic_bisimulation dbr:Simulation_(computer_science) dbr:Non-well-founded_set_theory dbr:Stutter_bisimulation dbr:TAPAs_model_checker dbr:Bisimilar dbr:Bisimilarity |
| is dbp:knownFor of | dbr:David_Park_(computer_scientist) |
| is rdfs:seeAlso of | dbr:Π-calculus |
| is foaf:primaryTopic of | wikipedia-en:Bisimulation |
