状態 x x S0 S0 S2 S3 S1 S2 S3 S3 S1 S0 S2
初期状態は不明
x=10
x[1]はクリア動作
つぎの状態はS0
x=01
つぎの状態はS2
出力はクロックに同期して変化する
ステートマシンの状態もクロックに同期して変化する