fuzzy string searching, using Levenshtein automaton. Can be used for spell-checking.