能力

規則集合 $R$ とモード $\mu$ のもとでの能力を、次の 2 つの集合で表す。

• $A_{\mathrm{run}} = \{q \in Q : D_{\mu,R}(q) = \mathrm{run}\}$。確認なしで実行される呼び出しの集合。
• $A = \{q \in Q : D_{\mu,R}(q) \ne \mathrm{block}\}$。利用者が承認すれば実行されるものを含めた、実行されうる呼び出しの集合。

$A_{\mathrm{run}} \subseteq A$ である。