再入可能（リエントラント）プログラムの説明として正しいものはどれか。

文字列探索アルゴリズムにおいて、不一致時にスキップして高速化する手法はどれか。