令和4年度 秋期 エンベデッドシステムスペシャリスト試験 午前Ⅱ 問22
テクノロジ／基礎理論次の状態遷移図に従って動作する組込みシステムがある。最初の状態が S0 の場合に，最後の状態が S4 になるイベントの発生順序はどれか。ここで，白丸は状態，白丸内の文字列は状態名，状態間の矢印は遷移方向，矢印に付されたラベルは状態遷移の条件となるイベントを表すものとする。
出典：令和4年度 秋期 エンベデッドシステムスペシャリスト試験 午前Ⅱ 問22
- アa → b → c → d → a
- イb → c → d → a → b
- ウc → d → a → b → c
- エd → a → b → c → d
正解：ウ
解説
S0 を起点に，与えられた各候補のイベント列に従って状態遷移図をたどります。選択肢ウの c → d → a → b → c で確認すると，S0 で c が発生すると S0（自己遷移）にとどまり，続く d でも S0（自己遷移）にとどまります。次に a が発生すると S0 から S1 に遷移し，続く b で S1 から S3 に遷移します。最後に c が発生すると，S3 は b，c のイベントで S4 に遷移するので，最終的な状態は S4 になります。したがって c → d → a → b → c の順序で，最後の状態が S4 になります。
選択肢ごとの解説
- ア誤り。a → b → c → d → a の順にたどると，S0 → S1 → S3 → S4 → S3 → S0 と遷移し，最後の状態は S0 になり，S4 にはなりません。
- イ誤り。b → c → d → a → b の順にたどると，S0 は b で自己遷移して S0，続く c でも S0，d でも S0 のままとなり，a で S1 に遷移した後 b で S3 に遷移し，最後の状態は S3 になり，S4 にはなりません。
- ウ正しい。c → d → a → b → c の順にたどると，S0 → S0（c）→ S0（d）→ S1（a）→ S3（b）→ S4（c）と遷移し，最後の状態が S4 になります。
- エ誤り。d → a → b → c → d の順にたどると，S0 → S0（d）→ S1（a）→ S3（b）→ S4（c）→ S3（d）と遷移し，最後の状態は S3 になり，S4 にはなりません。