Knuth–Morris–Pratt algorithm