令和4年度 秋期 エンベデッドシステムスペシャリスト試験 午前II 問22
テクノロジ基礎理論組込み・IoT数値表現・論理演算・符号理論組込み開発・安全設計
次の状態遷移図に従って動作する組込みシステムがある。最初の状態が S0 の場合に，最後の状態が S4 になるイベントの発生順序はどれか。ここで，白丸は状態，白丸内の文字列は状態名，状態間の矢印は遷移方向，矢印に付されたラベルは状態遷移の条件となるイベントを表すものとする。
図の説明テキスト
5つの状態 (S0, S1, S2, S3, S4) を持つ状態遷移図。
各状態間の遷移と条件となるイベントは以下の通り：
- S0からの遷移: S0自身へ(b, c, d), S1へ(a)
- S1からの遷移: S0へ(c, d), S2へ(a), S3へ(b)
- S2からの遷移: S0へ(d), S2自身へ(a, b, c)
- S3からの遷移: S3自身へ(a, d), S4へ(b, c)
- S4からの遷移: S0へ(a), S3へ(c, d), S4自身へ(b)
解答・解説
正解: ウ. c → d → a → b → c
状態遷移とは
システムやプログラムが現在の状態から、特定のイベントが発生したときにどの状態へ移るか（遷移するか）を表現したモデルです。
正解の根拠
問題で与えられた状態遷移図の条件に従って、初期状態 S0 から選択肢ウのイベント順序で遷移をたどります。
- S0 からイベント c を受けると、S0 自身に遷移します。(現在の状態: S0)
- 続いてイベント d を受けると、S0 自身に遷移します。(現在の状態: S0)
- 続いてイベント a を受けると、S1 に遷移します。(現在の状態: S1)
- 続いてイベント b を受けると、S3 に遷移します。(現在の状態: S3)
- 最後にイベント c を受けると、S4 に遷移します。(現在の状態: S4)
したがって、順序 c → d → a → b → c でイベントが発生した場合、状態は S0 → S0 → S0 → S1 → S3 → S4 と遷移し、最後の状態が S4 になります。
各選択肢の解説
ア: イベント順序 a → b → c → d → a の場合、状態は S0 → S1 → S3 → S4 → S3 → S3 と遷移し、最後の状態は S3 になります。
イ: イベント順序 b → c → d → a → b の場合、状態は S0 → S0 → S0 → S0 → S1 → S3 と遷移し、最後の状態は S3 になります。
ウ: イベント順序 c → d → a → b → c の場合、状態は S0 → S0 → S0 → S1 → S3 → S4 と遷移し、最後の状態は S4 になるため正解です。
エ: イベント順序 d → a → b → c → d の場合、状態は S0 → S0 → S1 → S3 → S4 → S3 と遷移し、最後の状態は S3 になります。