次の状態遷移表をもつシステムの状態がS1であるときに，信号をt1，t2，t3，t4，t1，t2，t3，t4の順に入力すると，最後の状態はどれになるか。ここで，空欄は状態が変化しないことを表す。