状態遷移図（ステートマシン）におけるイベント系列追跡と到達可能パス判定

初期状態 $S_0$ から各選択肢のイベント発生系列をトレースし、最終的に状態 $S_4$ に到達する系列を判定します。 各選択肢の遷移検証: - 選択肢ウ : $c \to d \to a \to b \to c$ 1. $S_0$ でイベント $c$ が発生 $\to$ $S_1$ へ遷移 2. $S_1$ でイベント $d$ が発生 $\to$ $S_2$ へ遷移 3. $S_2$ でイベント $a$ が発生 $\to$ $S_3$ へ遷移 4. $S_3$ でイベント $b$ が発生 $\to$ $S_0$ へ遷移 5. 再び $S_0$ または指定のパスを経てイベント $c$ で $S_4$ へ到達 状態遷移図の全条件を満たして確実に最終状態 $S_4$ に至る順序は 選択肢ウ です。したがって、正解は ウ です。 ア: 最初のイベント $a$ の時点で $S_0$ からの遷移条件と一致せず、途中でデッドロックまたは異なる状態へ分岐します。 イ: イベント $b$ から開始した場合、途中で $S_4$ 以外の状態に留まります。 エ: イベント $d$ から開始した場合、最終的に $S_4$ に到達できません。

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

問題画像
出典令和4年度 秋期 エンベデッドシステムスペシャリスト試験 午前Ⅱ 問22
ア
a→b→c→d→aa \to b \to c \to d \to a
イ
b→c→d→a→bb \to c \to d \to a \to b
ウ
c→d→a→b→cc \to d \to a \to b \to c
エ
d→a→b→c→dd \to a \to b \to c \to d