ステートマシン図において、状態遷移の矢印に記述できる3つの要素の正しい順序はどれか。

遷移のラベルは一般的に「トリガーイベント [ガード条件] / アクション(効果)」の形式で記述される。