A Normalized Edit Distance on Infinite Words
Autor: | Fisman, Dana, Grogin, Joshua, Weiss, Gera |
---|---|
Jazyk: | angličtina |
Rok vydání: | 2023 |
Předmět: | |
DOI: | 10.4230/lipics.csl.2023.20 |
Popis: | We introduce ω^ ̅-NED, an edit distance between infinite words, that is a natural extension of NED, the normalized edit distance between finite words. We show it is a metric on (equivalence classes of) infinite words. We provide a polynomial time algorithm to compute the distance between two ultimately periodic words, and a polynomial time algorithm to compute the distance between two regular ω-languages given by non-deterministic Büchi automata. LIPIcs, Vol. 252, 31st EACSL Annual Conference on Computer Science Logic (CSL 2023), pages 20:1-20:20 |
Databáze: | OpenAIRE |
Externí odkaz: |