bisimilar（形容词，主要用于计算机科学/形式化方法）指“两者互为双向模拟的；在双模拟（bisimulation）意义下等价的”。常用来描述两个状态、系统或进程在可观察行为上无法区分。另有较少见的一般用法（“相似的”）但在技术语境中以“双模拟等价”为主。
/baɪˈsɪmɪlər/
Two states are bisimilar if they can match each other’s transitions step by step.
如果两个状态能一步步匹配彼此的状态转移，它们就是双模拟等价的。
Although the implementations look different, the verifier proved the two protocols bisimilar under the given observation rules.
尽管实现方式不同，验证器在给定的可观察规则下证明这两个协议是双模拟等价的。
由前缀 **bi-**（“双、两者”）+ similar（“相似的”）构成；在理论计算机科学中与 bisimulation（双模拟）紧密相关，强调“双方彼此都能模拟对方的行为”，因此不仅是“看起来像”，而是“行为等价”。
Select Language