次の状態遷移図に従って動作する組込みシステムがある。最初の状態がS0の場合に，最後の状態がS4になるイベントの発生順序はどれか。ここで，白丸は状態，白丸内の文字列は状態名，状態間の矢印は遷移方向，矢印に付されたラベルは状態遷移の条件となるイベントを表すものとする。