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

【正解】ウ

図では、S0にいるときイベントb、c、dはいずれも自己遷移なのでS0のままで、aだけがS1への遷移です。また、S1ではbによってS3へ、S3ではb又はcによってS4へ遷移します。ウを順に追うと、「S0－c→S0－d→S0－a→S1－b→S3－c→S4」となり、最後はS4です。したがって、ウが正解です。

アの順序は誤りです。「S0－a→S1－b→S3－c→S4－d→S3－a→S3」となり、最後はS3です。S4からdが発生すると、図の下側の矢印によってS3へ戻ります。 イの順序は誤りです。「S0－b→S0－c→S0－d→S0－a→S1－b→S3」となり、最後はS3です。最初の三つのイベントはいずれもS0の自己遷移です。 エの順序は誤りです。「S0－d→S0－a→S1－b→S3－c→S4－d→S3」となり、最後はS3です。一度S4に到達しても、末尾のdでS3へ遷移します。

【ポイント】 状態遷移問題では、イベントを一つ処理するたびに現在状態を書き換え、途中で判定しないことが大切です。 自己遷移はイベントを無視するという意味ではなく、そのイベントを処理した結果、同じ状態に戻る遷移です。 矢印が接近している箇所では、矢じりの向きを確認して遷移元と遷移先を取り違えないようにしてください。