Fuzzy string matching in a dictionary using Levenshtein Automaton.