deny 優先と最長一致の違い

接頭辞のパターンについて、deny 優先の判定 $\mathrm{dec}_R$（定義 3.2）と最長一致の判定 $\mathrm{lm}_R$（定義 4.1）を比べる。

1. 2 つの判定が食い違う規則集合と呼び出しが存在する。
2. deny 優先では、$(\mathrm{deny}, p) \in R$ かつ $p$ が $c$ の接頭辞ならば、$R$ を含む任意の規則集合 $R'$ について $\mathrm{dec}_{R'}(c) = \mathrm{deny}$ である。
3. 最長一致では 2 が成り立たない。すなわち、$(\mathrm{deny}, p) \in R$、$p$ が $c$ の接頭辞、$R \subseteq R'$ で、$\mathrm{lm}_{R'}(c) = \mathrm{allow}$ となる例が存在する。