bisimulation

やべぇ、意味わかんない。bisimulation という関係は常識なのだろうか。少なくともこの本には説明がない気がする…。

example

a.(b.stop + b.stop) + a.b.stop  〜bis  a.b.stop

because the following is a bisimulation:

a.(b.stop + b.stop) + a.b.stop  <->  a.b.stop
b.stop + b.stop  <->  b.stop
b.stop  <->  b.stop
stop  <->  stop

とかいきなり言われても…。
見ての通り "<->" が bisimulation だから "〜bis" であることを説明したことになるんだよ、って感じですか？うーん？