Levenshtein automaton: Difference between revisions
Removed uncited bit about canadian univerities and arm processors. Had been present for 3 years and doesn't add any value to the article. |
Add new up-to-date reference about the universal Levenshtein automaton |
||
| Line 9: | Line 9: | ||
For any fixed constant ''n'', the Levenshtein automaton for ''w'' and ''n'' may be constructed in time O(|''w''|).<ref name="ssm"/> |
For any fixed constant ''n'', the Levenshtein automaton for ''w'' and ''n'' may be constructed in time O(|''w''|).<ref name="ssm"/> |
||
Mitankin studies a variant of this construction called the '''universal Levenshtein automaton''', determined only by a numeric parameter ''n'', that can recognize pairs of words (encoded in a certain way by bitvectors) that are within Levenshtein distance ''n'' of each other |
Mitankin studies a variant of this construction called the '''universal Levenshtein automaton''', determined only by a numeric parameter ''n'', that can recognize pairs of words (encoded in a certain way by bitvectors) that are within Levenshtein distance ''n'' of each other<ref>{{cite thesis | first = Petar N. | last = Mitankin | year = 2005 | url = http://www.fmi.uni-sofia.bg/fmi/logic/theses/mitankin-en.pdf | title = Universal Levenshtein Automata. Building and Properties | publisher = Sofia University St. Kliment Ohridski }}</ref>. Touzet proposes an effective algorithm to build this automaton <ref>{{cite book | author = Touzet H. | year = 2016 | chapter = On the Levenshtein Automaton and the Size of the Neighborhood of a Word | url=https://link.springer.com/chapter/10.1007%2F978-3-319-30000-9_16|title= Language and Automata Theory and Applications| publisher = Lecture Notes in Computer Science | volume = 9618 |pages = 207-218}} </ref>. |
||
Yet a third finite automaton construction of Levenshtein (or [[Damerau–Levenshtein distance|Damerau–Levenshtein]]) distance are the Levenshtein transducers of Hassan ''et al.'', who show [[finite state transducer]]s implementing edit distance one, then compose these to implement edit distances up to some constant.<ref>{{cite conference |last1=Hassan |first1=Ahmed |first2=Sara |last2=Noeman |first3=Hany |last3=Hassan |title=Language Independent Text Correction using Finite State Automata |conference=IJCNLP |year=2008 |url=http://www.aclweb.org/anthology/I08-2131}}</ref> |
Yet a third finite automaton construction of Levenshtein (or [[Damerau–Levenshtein distance|Damerau–Levenshtein]]) distance are the Levenshtein transducers of Hassan ''et al.'', who show [[finite state transducer]]s implementing edit distance one, then compose these to implement edit distances up to some constant.<ref>{{cite conference |last1=Hassan |first1=Ahmed |first2=Sara |last2=Noeman |first3=Hany |last3=Hassan |title=Language Independent Text Correction using Finite State Automata |conference=IJCNLP |year=2008 |url=http://www.aclweb.org/anthology/I08-2131}}</ref> |
||
Revision as of 16:28, 22 August 2019
In computer science, a Levenshtein automaton for a string w and a number n is a finite state automaton that can recognize the set of all strings whose Levenshtein distance from w is at most n. That is, a string x is in the formal language recognized by the Levenshtein automaton if and only if x can be transformed into w by at most n single-character insertions, deletions, and substitutions.[1]
Applications
Levenshtein automata may be used for spelling correction, by finding words in a given dictionary that are close to a misspelled word. In this application, once a word is identified as being misspelled, its Levenshtein automaton may be constructed, and then applied to all of the words in the dictionary to determine which ones are close to the misspelled word. If the dictionary is stored in compressed form as a trie, the time for this algorithm (after the automaton has been constructed) is proportional to the number of nodes in the trie, significantly faster than using dynamic programming to compute the Levenshtein distance separately for each dictionary word.[1]
It is also possible to find words in a regular language, rather than a finite dictionary, that are close to a given target word, by computing the Levenshtein automaton for the word, and then using a Cartesian product construction to combine it with an automaton for the regular language, giving an automaton for the intersection language. Alternatively, rather than using the product construction, both the Levenshtein automaton and the automaton for the given regular language may be traversed simultaneously using a backtracking algorithm.[1]
Construction
For any fixed constant n, the Levenshtein automaton for w and n may be constructed in time O(|w|).[1]
Mitankin studies a variant of this construction called the universal Levenshtein automaton, determined only by a numeric parameter n, that can recognize pairs of words (encoded in a certain way by bitvectors) that are within Levenshtein distance n of each other[2]. Touzet proposes an effective algorithm to build this automaton [3].
Yet a third finite automaton construction of Levenshtein (or Damerau–Levenshtein) distance are the Levenshtein transducers of Hassan et al., who show finite state transducers implementing edit distance one, then compose these to implement edit distances up to some constant.[4]
See also
- agrep, tool (implemented several times) for approximate regular expression matching
- TRE, library for regular expression matching that is tolerant to Levenshtein-style edits
References
- ^ a b c d Schulz, Klaus U.; Mihov, Stoyan (2002). "Fast String Correction with Levenshtein-Automata". International Journal of Document Analysis and Recognition. 5 (1): 67–85. CiteSeerX 10.1.1.16.652. doi:10.1007/s10032-002-0082-8.
- ^ Mitankin, Petar N. (2005). Universal Levenshtein Automata. Building and Properties (PDF) (Thesis). Sofia University St. Kliment Ohridski.
- ^ Touzet H. (2016). "On the Levenshtein Automaton and the Size of the Neighborhood of a Word". Language and Automata Theory and Applications. Vol. 9618. Lecture Notes in Computer Science. pp. 207–218.
- ^ Hassan, Ahmed; Noeman, Sara; Hassan, Hany (2008). Language Independent Text Correction using Finite State Automata. IJCNLP.