状態遷移系の同値性の定義として双模倣（bisimulation）があります。"bisimulation"と一単語だけでgoogle検索すると、血糊を付けた女の子達の歌ばっかりヒットするんですけど。最近じゃなくて2014年3月リリースの曲らしいです。
双模倣を調べたいなら、"bisimulation transition" とか "bisimulation equivalence" とかです。
このブログの更新は Twitterアカウント @m_hiyama で通知されます。
Follow @m_hiyama
メールでのご連絡は hiyama{at}chimaira{dot}org まで。
はじめてのメールはスパムと判定されることがあります。最初は、信頼されているドメインから差し障りのない文面を送っていただけると、スパムと判定されにくいと思います。
状態遷移系の同値性の定義として双模倣（bisimulation）があります。"bisimulation"と一単語だけでgoogle検索すると、血糊を付けた女の子達の歌ばっかりヒットするんですけど。最近じゃなくて2014年3月リリースの曲らしいです。
双模倣を調べたいなら、"bisimulation transition" とか "bisimulation equivalence" とかです。