computer-science search-engine data-science machine-learning natural-language-processing information-retrieval bioinformatics genomics dictionary fuzzy-search computational-biology edit-distance levenshtein-distance approximate-string-matching distance-metric finite-state-automata finite-state-transducer levenshtein-automata spelling-correction universal-automata