出典:Wiktionary
出典:『Wiktionary』 (2017/03/12 15:38 UTC 版)
bi- + simulation
bisimulation (複数形 bisimulations)
出典:Wikipedia
出典:『Wikipedia』 (2011/04/11 15:35 UTC 版)
In theoretical computer science a bisimulation is a binary relation between state transition systems, associating systems which behave in the same way in the sense that one system simulates the other and vice-versa.