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 …

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 …

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

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 …

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 …

[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 …

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, …

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 …

Quantitative monitoring of STL with edit distance

S Jakšić, E Bartocci, R Grosu, T Nguyen… - Formal methods in …, 2018 - Springer
… 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 …

Weighted edit distance computation: Strings, trees, and Dyck

D Das, J Gilbert, MT Hajiaghayi, T Kociumaka… - Proceedings of the 55th …, 2023 - dl.acm.org
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 …