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