エンベデッドシステムスペシャリスト試験 令和5年度 秋期 午前II 問19

【正解】ウ

二つの（＊）には同じ状態名が入るので、その状態をXとしてイベントを順番に追跡します。初期状態S0でイベントaが発生すると、表のS0行、a列からS1へ遷移します。次のイベントbでは、S1行、b列が（＊）なのでXへ遷移します。

ウのS3をXに代入すると、状態の変化は「S0－a→S1－b→S3－c→S2－d→S3－a→S4」となります。具体的には、S3でcが発生するとS2へ進み、S2でdが発生すると同じ（＊）であるS3へ戻ります。最後にS3でaが発生するとS4となるため、条件と一致します。

アのS1は誤りです。この場合は「S0→S1→S1→S0→S0→S1」と遷移し、最後はS1になります。

イのS2は誤りです。この場合は「S0→S1→S2→S2→S2→S2」と遷移し、最後はS2になります。S2行、d列の（＊）にもS2が入る点に注意が必要です。

エのS4は誤りです。この場合は「S0→S1→S4→S4→S4→S0」と遷移し、最後はS0になります。

【ポイント】 状態遷移表では、現在の状態の行と発生したイベントの列が交わる欄を次の状態として読みます。 イベントを一つ処理するたびに現在状態を書き換え、同一記号の空欄には同じ値を代入して追跡すると確実です。