2007-05-06から1日間の記事一覧
やべぇ、意味わかんない。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.…
やべぇ、意味わかんない。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.…