表の状態遷移に従って動作する組込みシステムがある。最初の状態がS0の場合に，a→b→c→d→aの順序でイベントが発生すると，最後の状態がS4になる。表の（*）には同じ状態名が入るが，その状態名はどれか。状態＼イベント a b c d：S0→S1,S0,S0,S0 ／ S1→S2,(*),S0,S0 ／ S2→S2,S0,S2,(*) ／ S3→S4,S3,S2,S3 ／ S4→S0,S3,S4,S4