BM法（ボイヤ・ムーア法）

パターンの末尾から先頭に向かって文字を比較する文字列探索のアルゴリズム。不一致になったテキストの文字がパターンのどこにあるか（不一致文字規則）や、すでに一致した末尾の部分（一致接尾辞規則）をもとに、パターンを一度に大きくずらせる。パターンが長く文字の種類が多いほど比較の回数が少なくなり、実用上は高速なので、テキストエディタの検索などに使われる。