令和5年度 秋期 エンベデッドシステムスペシャリスト試験 午前Ⅱ 問19
テクノロジ／基礎理論表の状態遷移に従って動作する組込みシステムがある。最初の状態が S0 の場合に，a → b → c → d → a の順序でイベントが発生すると，最後の状態が S4 になる。表の（*）には同じ状態名が入るが，その状態名はどれか。 〔状態遷移表：各状態でイベント a，b，c，d が発生したときの遷移先〕 状態 S0：a のとき S1，b のとき S0，c のとき S0，d のとき S0 状態 S1：a のとき S2，b のとき（*），c のとき S0，d のとき S0 状態 S2：a のとき S2，b のとき S0，c のとき S2，d のとき（*） 状態 S3：a のとき S4，b のとき S3，c のとき S2，d のとき S3 状態 S4：a のとき S0，b のとき S3，c のとき S4，d のとき S4 （注：本サイトでは原問題の表を文字表記に変換しています）
出典：令和5年度 秋期 エンベデッドシステムスペシャリスト試験 午前Ⅱ 問19
- アS1
- イS2
- ウS3
- エS4
正解：ウ
解説
（*）に S3 が入るとして順に追跡します。S0 でイベント a が起きると S1，S1 でイベント b が起きると（*）＝ S3，S3 でイベント c が起きると S2，S2 でイベント d が起きると（*）＝ S3，S3 でイベント a が起きると S4 となり，最後の状態が S4 になるという条件に一致します。二つの（*）に同じ状態名が入る点に注意して，各候補を当てはめて確かめるのが確実な解き方です。
選択肢ごとの解説
- ア誤り。（*）＝ S1 とすると S0 → S1 → S1 → S0 → S0 → S1 と遷移し，最後の状態は S1 になって条件に合いません。
- イ誤り。（*）＝ S2 とすると S0 → S1 → S2 → S2 → S2 → S2 と遷移し，最後の状態は S2 になって条件に合いません。
- ウ正しい。（*）＝ S3 とすると S0 → S1 → S3 → S2 → S3 → S4 と遷移し，最後の状態が S4 になるので条件を満たします。
- エ誤り。（*）＝ S4 とすると S0 → S1 → S4 → S4 → S4 → S0 と遷移し，最後の状態は S0 になって条件に合いません。