Arama dizesi tanımaya kararlı sonlu durum makinesi oluşturur algoritma eşleşen bir dize. Makine sonra sırayla her yerde çalışır. Makine kabul ederse, bir eştir.