令和5年度 秋期 午前Ⅱ 問19
設計
状態遷移表に関する問題
表の状態遷移に従って動作する組込みシステムがある。最初の状態が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 |
- アS1
- イS2
- ウS3
- エS4
答えと解説を見る
✓ これが正解ウS3
解説
(*)にS3を入れると、S0から順に遷移して最後がS4になります。
状態遷移表の(*)の候補を一つずつ当てはめて、S0から a、b、c、d、a の順に追います。S0 で a が来ると S1、S1 で b が来ると(*)です。ここに S3 を入れると、S3 で c が来て S2、S2 で d が来て(*)すなわち S3、S3 で a が来て S4 となり、最後の状態が S4 になります。S0→S1→S3→S2→S3→S4 の順です。他の候補では最後が S4 になりません。同じ記号が2か所に入る問題では、両方の欄に同じ値を入れてから最初から最後まで通して追うことが大切です。候補を順に代入して状態を書き並べ、途中の状態を省略せずに確かめると、取り違えを防げます。
ほかの選択肢はなぜ違うのか
- アS1:S1 を当てはめた場合、b の後も S1 にとどまり、続く c で S0 へ戻されます。その後の d では S0 のまま動かず、最後の a で S1 に進むだけなので、終わりの状態は S4 になりません。
- イS2:S2 を入れると、S0→S1→S2 となり、S2 で c が来て S2、S2 で d が来て S2、S2 で a が来て S2 のままです。最後の状態は S2 で、S4 にはたどり着きません。
- エS4:S4 を入れると、S0→S1→S4 となり、S4 で c が来て S4、S4 で d が来て S4、S4 で a が来て S0 になります。途中では S4 にいますが、最後の状態は S0 です。
出典:令和5年度 秋期 エンベデッドシステムスペシャリスト試験 午前Ⅱ 問19
この解説に誤りを見つけたら教えてください。直して、直した記録を残します。誤りを報告する(メールが開きます)