権限規則とマッチ

パターンの集合 $\Pi$ と、マッチの関係 $\models\ \subseteq Q \times \Pi$ が与えられているとする。$q \models \pi$ を「呼び出し $q$ がパターン $\pi$ にマッチする」と読む。権限規則は、種類 $\kappa \in \{\mathrm{deny}, \mathrm{ask}, \mathrm{allow}\}$ とパターン $\pi \in \Pi$ の組 $(\kappa, \pi)$ である。規則集合 $R$ は権限規則の有限集合である。種類 $\kappa$ について

と置く。