状態遷移図において、状態の中に「do / アクティビティ」がある。このアクティビティが終了する前に外部遷移が発生した場合、どうなるか。

doアクティビティは、状態遷移(外部イベント等)によってその状態を離れる際に強制的に中断される。