Levenshtein automaton for fuzzy string searching