A string searching algorithm.