プロトコルステートマシンにおいて、状態間の遷移を許容する条件を定義する要素はどれか。

Guardは条件が真である場合にのみ遷移が発生することを規定する。