状態遷移表のとおりに動作し,運転状況に応じて装置の温度が上下するシステムがある。システムの状態が“レディ”のとき,①〜⑥ の順にイベントが発生すると,最後の状態はどれになるか。ここで,状態遷移表の空欄は状態が変化しないことを表す。
〔状態遷移表〕
| 条件\状態 | 初期・終了 レディ 1 | 高速運転 2 | 低速運転 3 | 一時停止 4 |
|---|---|---|---|---|
| メッセージ1を受信する | 運転開始 2 | 加速 2 | 運転再開 2 | |
| メッセージ2を受信する | 減速 3 | 一時停止 4 | 初期化 1 | |
| 装置の温度が50℃未満から50℃以上になる | 減速 3 | 一時停止 4 | ||
| 装置の温度が40℃以上から40℃未満になる | 加速 2 | 運転再開 3 |
〔発生するイベント〕 ① メッセージ1を受信する。 ② メッセージ1を受信する。 ③ 装置の温度が50℃以上になる。 ④ メッセージ2を受信する。 ⑤ 装置の温度が40℃未満になる。 ⑥ メッセージ2を受信する。