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