状態遷移表におけるイベント系列トレースと状態名の特定

イベント発生系列 $a \to b \to c \to d \to a$ に従って状態遷移をステップごとに追跡します。 1. 初期状態 : $S_0$ 2. イベント $a$ 発生 : 表より、$S_0$ からイベント $a$ で $S_1$ に遷移します。 3. イベント $b$ 発生 : 表より、$S_1$ からイベント $b$ で （＊） に遷移します。 4. イベント $c$ 発生 : 現在の状態は（＊）です。表より、（＊）からイベント $c$ で $S_2$ に遷移します。 5. イベント $d$ 発生 : 表より、$S_2$ からイベント $d$ で $S_3$ に遷移します。 6. イベント $a$ 発生 : 表より、$S_3$ からイベント $a$ で $S_4$ に遷移し、問題文の条件（最後の状態が $S_4$）と完全に合致することが確認できます。 ここで、ステップ3で遷移した状態（＊）と、ステップ5で遷移した状態 $S_3$ に着目すると、表の（＊）の行に該当する状態名は $S_3$ であることが一意に定まります。したがって、正解は ウ です。 ア: $S_1$ の場合、ステップ4のイベント $c$ に対する遷移先が未定義（—）となり矛盾します。 イ: $S_2$ の場合、ステップ4で $S_2$ からイベント $c$ が発生することになり表の定義と矛盾します。 エ: $S_4$ は最終到達状態であり、（＊）に当てはまりません。

表の状態遷移に従って動作する組込みシステムがある。最初の状態が S0S_0 の場合に，a→b→c→d→aa \to b \to c \to d \to a の順序でイベントが発生すると，最後の状態が S4S_4 になる。表の（＊）には同じ状態名が入るが，その状態名はどれか。 | 現在の状態 | イベント a | イベント b | イベント c | イベント d | | :---: | :---: | :---: | :---: | :---: | | S0S_0 | S1S_1 | — | — | — | | S1S_1 | — | （＊） | — | — | | S2S_2 | — | — | — | S3S_3 | | S3S_3 | S4S_4 | — | — | — | | （＊） | — | — | S2S_2 | — |

出典令和5年度 秋期 エンベデッドシステムスペシャリスト試験 午前Ⅱ 問19
ア
S1S_1
イ
S2S_2
ウ
S3S_3
エ
S4S_4