问道研究所

问道研究所

互模拟 bisimulation

象面身份判据；有限情形可判定

相关命题

级别复核中：上游命题有变动，本条的级别正在复核。
SGC-0012 定理级 外部定理

以互模拟为身份判据；有限情形可经 Paige–Tarjan 分划细化判定。