Edit-distance of weighted automata: General definitions and algorithms
M Mohri - International Journal of Foundations of Computer …, 2003 - World Scientific
… weighted automata algorithms over the appropriate semirings can be used to compute the
editdistance of two weighted automata … and e-removal of weighted transducers and a new and …
editdistance of two weighted automata … and e-removal of weighted transducers and a new and …
Edit-distance of weighted automata
M Mohri - … on Implementation and Application of Automata, 2002 - Springer
… Thus, we introduce the definition of the edit-distance of two distributions of strings given
by two weighted automata. We show that general weighted automata algorithms over the …
by two weighted automata. We show that general weighted automata algorithms over the …
Weighted automata computation of edit distances with consolidations and fragmentations
M Giraud, F Jacquemard - Information and Computation, 2022 - Elsevier
… We study edit distances between strings, based on weighted operations such as character
… that such edit distances are not computable in general, and propose weighted automata …
… that such edit distances are not computable in general, and propose weighted automata …
Weighted automata algorithms
M Mohri - Handbook of weighted automata, 2009 - Springer
… This chapter presents several fundamental algorithms for weighted automata and transducers.
While the mathematical counterparts of weighted transducers, rational power series, have …
While the mathematical counterparts of weighted transducers, rational power series, have …
Edit distance for timed automata
K Chatterjee, R Ibsen-Jensen… - Proceedings of the 17th …, 2014 - dl.acm.org
… study of edit distances from untimed languages to the timed setting. We define an edit distance
… While computing the edit distance between two timed automata is undecidable, we show …
… While computing the edit distance between two timed automata is undecidable, we show …
[PDF][PDF] Approximate string searching under weighted edit distance
S Kurtz - Proc. WSP, 1996 - hollywood.zbh.uni-hamburg.de
… The approximate string searching problem is to find all approximate matches of p in t having
weighted edit distance at most k from p. We present a new method that preprocesses the …
weighted edit distance at most k from p. We present a new method that preprocesses the …
Edit distance for pushdown automata
K Chatterjee, TA Henzinger… - Logical Methods in …, 2017 - lmcs.episciences.org
… the edit distance computation problem between two automata A1 and A2, where A1 and
A2 can be (non-)deterministic finite automata or pushdown automata. … of weighted edit-distance, …
A2 can be (non-)deterministic finite automata or pushdown automata. … of weighted edit-distance, …
Computing the edit distance of a regular language
S Konstantinidis - Information and Computation, 2007 - Elsevier
… languages and finite automata of edit strings as tools for reasoning about the distance of a
… to only those permitted by the weighted automaton. We note that, for the case of the plain …
… to only those permitted by the weighted automaton. We note that, for the case of the plain …
Quantitative monitoring of STL with edit distance
… 4 we introduce the notion of weighted edit distance. In Sect. 5 we propose a novel approach
for computing, using the weighted edit distance, the robustness degree of a discrete signal …
for computing, using the weighted edit distance, the robustness degree of a discrete signal …
Weighted edit distance computation: Strings, trees, and Dyck
… edit distance apply to this weighted variant. We then generalize our result to the weighted
tree and Dyck edit distances, … ments even for the unweighted tree edit distance problem: As a …
tree and Dyck edit distances, … ments even for the unweighted tree edit distance problem: As a …
相关搜索
- finite automaton edit distance
- pushdown automata edit distance
- regular language edit distance
- weighted edit distance approximate string
- timed automata edit distance
- normalized edit distance
- edit distance computation
- weighted automata text and speech processing
- edit distance table
- weighted automata general definitions
- bit vector algorithm edit distances
- sublinear algorithms gap edit distance
- tree edit distance
- point pattern matching edit distance
- streaming algorithms edit distance
- quantitative monitoring edit distance