2006-01-26 自発性=ε遷移 論理 プログラム意味論 そうか、自発性(非因果性)はε遷移で記述できるか。εを空語のみからなる言語だとして、 when (R) sending{ε} changes you(R') causes your{E}. 「私は何もしてないのに、あんたが勝手に変わったんでしょう。」「それが悪いか?」