状態遷移系の同値性の定義として双模倣（bisimulation）があります。"bisimulation"と一単語だけでgoogle検索すると、血糊を付けた女の子達の歌ばっかりヒットするんですけど。最近じゃなくて2014年3月リリースの曲らしいです。 https://www.youtube.com/wat…