NuSMVオセロの仕様がまとまらない

1限の授業中にステートチャート図を手書きで作成してみる。
大まかなところは簡単に書けるのだが、探索あたりになってくるとややこしい。

1限が終わった後は研究室で仕様を考えながら書いてみるがいまいち進まない。
難しいがこれができた暁には幻の60手探索をやってみたい。

締め切りというか期日は土曜日。
間に合うか・・・