次の状態遷移表をもつシステムの状態が S1 であるときに,信号を t1, t2, t3, t4,t1, t2, t3, t4 の順に入力すると,最後の状態はどれになるか。ここで,空欄は状態が変化しないことを表す。
初期状態S1であるときに、入力信号をt1, t2, t3, t4,t1, t2, t3, t4 の順に入力すると状態は以下のようになる。
よって最終の状態はS1となる。