-
P[7] (=
b)で不一致が検出されたとき Matching fail at P[7]
-
前のテキストは
aaaaaaであることが既知 "aaaaa" is already known
-
P[6] (=
a)の比較をやり直せばよい Restart matching from P[6]
- 不一致が検出されたときに比較をやりなおすべきPの文字の位置をあらかじめ「失敗関数」として計算 Use "failure function" for reculculation
- 無駄な比較を繰り返さないようにする Avoid unnecessary matching operations
