情処の投稿論文で手で計算したところがあるので、これをticc改で動かす ことを再構築中。いきなりABCD型の例題をかましてみるも、連動演算を挿入する ことにより、本来ならば単純な直積よりも遷移系の規模が小さくなるはずのに、 同じ遷移数と状態数。なにか…

すみません、あれから仕事が期末で、あまりすすんでいません。見直しています。IPSJへの投稿論文でticcをつかって実験的なことをしたのですが、 途中手で行うところが多々あったのを、すこし自動化するというところから入ります。今日は、ocamlの勉強、別フ…