Una cadena que empareja algoritmo que convierte a la cadena de búsqueda en una máquina de Estados finitos, entonces ejecuta la máquina con la cadena ser buscado como la cadena de entrada. Tiempo de ejecución es O(m+n), donde m es la longitud de la cadena de búsqueda, y n es la longitud de la cadena ser buscado.