2007-12-04から1日間の記事一覧
Bisimulation は,お互いがお互いを simulate するものかと思っていたのだけど,そうじゃなかったらしい. つまり, P と Q が bisimilar であることを判定するのに, P が Q を simulate し,かつ Q が P を simulate することを確認すればいい,というわけ…
Bisimulation は,お互いがお互いを simulate するものかと思っていたのだけど,そうじゃなかったらしい. つまり, P と Q が bisimilar であることを判定するのに, P が Q を simulate し,かつ Q が P を simulate することを確認すればいい,というわけ…