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