論理回路の問題について
論理回路の問題について質問させていただきます。
[問題]
入力x(t) (t=0,1,2…),出力z(t) (t=0,1,2,…,z(0)=0)のビット列変換器があり、 [x(t-1),x(t)] = [1,0] または、[x(t-2),x(t-1),x(t)] = [1,1,1]のときに、z(t)=1、それ以外のときにz(t)=0を出力する。
例えば、 "010111100" を左から入力すると、"001001110"が出力される。
この変換器の状態をS0(初期状態)、S1、S2の3状態の状態遷移図で表せ。
解答によると図のようになるそうなのですが、S1のときに0を入力するとなぜS0に戻る点などが理解できませんでした。
参考書などを読んだのですが、なかなか状態というものが理解できません。
具体的な数値を入れて考えてもみましたが、よくわからなくなってしまいました。
なぜこのような状態遷移図になるのでしょうか?
回答よろしくお願いいたします。