最長一致方式（比較用）

パターンを文字列 $p$ とし、呼び出し（コマンドの文字列）$c$ が $p$ にマッチすることを「$p$ が $c$ の接頭辞である」ことと定める。規則集合 $R$ に対する最長一致方式の判定 $\mathrm{lm}_R(c)$ を、$c$ にマッチする規則のうちパターンが最も長いものの種類と定める（マッチする規則が無ければ $\bot$）。同じパターンに 2 つの種類の規則は無いとする。