令和5年度 秋期 エンベデッドシステムスペシャリスト試験 午前II 問19
この問題は2023(R5)秋 エンベデッドシステムスペシャリスト 午前IIに出題されたものです。出題時点の法令・制度に基づく内容のため、現行の内容と一致しない場合があります。
本ページの問題文・選択肢は、原本の体裁を Web 表示用に正規化しています（改行・記号・数式・図表参照の調整）。設問の趣旨および正解に影響する変更は加えていません。
表の状態遷移に従って動作する組込みシステムがある。最初の状態が 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 |
解答・解説を読む
正解: 選択肢ウ
組込みシステムにおける状態遷移表を読み解く問題です。状態遷移表では、現在の状態と発生したイベントの組み合わせによって、次の状態が決定されます。
問題文の条件「最初の状態が S0 の場合に，a → b → c → d → a の順序でイベントが発生すると，最後の状態が S4 になる」を手がかりに、状態の遷移を順に追跡します。
- 初期状態 S0 でイベント a が発生し、次の状態へ遷移します。
- 続いてイベント b が発生し、さらに次の状態へ遷移します。
- 次にイベント c が発生します。このときの遷移先が表の （＊） に該当します。
- （＊）の状態からイベント d が発生し、遷移します。
- 最後にイベント a が発生し、最終的な状態が S4 になります。
これらの推移を矛盾なく満たすためには、イベント c が発生した際の状態（＊）が S3 である必要があります。S3 を経由することで、その後の d → a のイベントによって最終状態が S4 に到達します。
各選択肢の解説
- ア（S1）: （＊）が S1 であると仮定した場合、その後のイベント d および a によって遷移する最終状態が S4 と一致しないため、誤りです。
- イ（S2）: （＊）が S2 であると仮定した場合、その後のイベント d および a によって遷移する最終状態が S4 と一致しないため、誤りです。
- ウ（S3）: S3 を経由することで、条件通り最終状態が S4 に到達します。したがって正解です。
- エ（S4）: （＊）が S4 であると仮定した場合、その後のイベント d および a によって遷移する最終状態が S4 と一致しないため、誤りです。