合成テスト

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

論文を見返すと、小さな例ABCであった。しまった。まずはこれから。。。というところで時間切れ、少しづつ。