状態遷移系の同値性の定義として双模倣（bisimulation）があります。"bisimulation"と一単語だけでgoogle検索すると、血糊を付けた女の子達の歌ばっかりヒットするんですけど。最近じゃなくて2014年3月リリースの曲らしいです。
双模倣を調べたいなら、"bisimulation transition" とか "bisimulation equivalence" とかです。
このブログの更新は X（旧Twitter）アカウント @m_hiyama で通知されます。
Follow @m_hiyama
ご連絡は上記 X アカウントに DM にてお願いします。
状態遷移系の同値性の定義として双模倣（bisimulation）があります。"bisimulation"と一単語だけでgoogle検索すると、血糊を付けた女の子達の歌ばっかりヒットするんですけど。最近じゃなくて2014年3月リリースの曲らしいです。
双模倣を調べたいなら、"bisimulation transition" とか "bisimulation equivalence" とかです。