English
Related papers

Related papers: Edit Distance for Pushdown Automata

200 papers

We introduce and study input-driven deterministic and nondeterministic double-head pushdown automata. A double-head pushdown automaton is a slight generalization of an ordinary pushdown automaton working with two input heads that move in…

Formal Languages and Automata Theory · Computer Science 2017-08-23 Markus Holzer , Martin Kutrib , Andreas Malcher , Matthias Wendlandt

Evaluating large language models (LLMs) is fundamental, particularly in the context of practical applications. Conventional evaluation methods, typically designed primarily for LLM development, yield numerical scores that ignore the user…

Computation and Language · Computer Science 2024-04-12 Yongqiang Ma , Lizhi Qing , Jiawei Liu , Yangyang Kang , Yue Zhang , Wei Lu , Xiaozhong Liu , Qikai Cheng

The standard algorithm for Levenshtein distance, treats trailing whitespace the same as any other letter or symbol. However, when humans compare 2 strings, we implicitly assume that both strings are padded by infinite trailing whitespace.…

Data Structures and Algorithms · Computer Science 2021-03-15 Kartik Vempala

This paper is about reachability analysis in a restricted subclass of multi-pushdown automata. We assume that the control states of an automaton are partially ordered, and all transitions of an automaton go downwards with respect to the…

Logic in Computer Science · Computer Science 2015-07-01 Wojciech Czerwiński , Piotr Hofman , SŁawomir Lasota

The Dyck language, which consists of well-balanced sequences of parentheses, is one of the most fundamental context-free languages. The Dyck edit distance quantifies the number of edits (character insertions, deletions, and substitutions)…

Data Structures and Algorithms · Computer Science 2021-12-14 Debarati Das , Tomasz Kociumaka , Barna Saha

The simulation of deterministic pushdown automata defined over a one-letter alphabet by finite state automata is investigated from a descriptional complexity point of view. We show that each unary deterministic pushdown automaton of size s…

Formal Languages and Automata Theory · Computer Science 2009-05-11 Giovanni Pighizzini

We introduce the notion of adaptive synchronisation for pushdown automata, in which there is an external observer who has no knowledge about the current state of the pushdown automaton, but can observe the contents of the stack. The…

Formal Languages and Automata Theory · Computer Science 2021-02-16 A. R. Balasubramanian , K. S. Thejaswini

In this work we define a novel edit distance for trees considered with some abstract weights on the edges. The metric is driven by the idea of considering trees as topological summaries in the context of persistence and topological data…

Combinatorics · Mathematics 2025-07-25 Matteo Pegoraro

Text simplification is a common task where the text is adapted to make it easier to understand. Similarly, text elaboration can make a passage more sophisticated, offering a method to control the complexity of reading comprehension tests.…

Computation and Language · Computer Science 2024-05-29 Asma Farajidizaji , Vatsal Raina , Mark Gales

String similarity, longest common subsequence and shortest edit scripts are the triplets of problem that related to each other. There are different algorithms exist to generate edit script by solving longest common subsequence problem. This…

Data Structures and Algorithms · Computer Science 2022-08-19 P. Prakash Maria Liju

Large language models (LLMs) acquire knowledge during pre-training, but over time, this knowledge may become incorrect or outdated, necessitating updates after training. Knowledge editing techniques address this issue without the need for…

Computation and Language · Computer Science 2024-10-16 Yuchen Cai , Ding Cao

An ordered labeled tree is a tree in which the nodes are labeled and the left-to-right order among siblings is relevant. The edit distance between two ordered labeled trees is the minimum cost of changing one tree into the other through a…

Data Structures and Algorithms · Computer Science 2015-02-10 Shihyen Chen

The concept of edit distance, which dates back to the 1960s in the context of comparing word strings, has since found numerous applications with various adaptations in computer science, computational biology, and applied topology. By…

Algebraic Topology · Mathematics 2026-04-22 Woojin Kim , Won Seong

The question if a deterministic finite automaton admits a software reset in the form of a so-called synchronizing word can be answered in polynomial time. In this paper, we extend this algorithmic question to deterministic automata beyond…

Formal Languages and Automata Theory · Computer Science 2020-12-23 Henning Fernau , Petra Wolf , Tomoyuki Yamakami

The Word Movers Distance (WMD) measures the semantic dissimilarity between two text documents by computing the cost of optimally moving all words of a source/query document to the most similar words of a target document. Computing WMD…

Distributed, Parallel, and Cluster Computing · Computer Science 2022-04-27 Jesmin Jahan Tithi , Fabrizio Petrini

We present a near-linear time algorithm that approximates the edit distance between two strings within a polylogarithmic factor; specifically, for strings of length n and every fixed epsilon>0, it can compute a (log n)^O(1/epsilon)…

Data Structures and Algorithms · Computer Science 2010-05-24 Alexandr Andoni , Robert Krauthgamer , Krzysztof Onak

The Earth Mover's Distance is a popular similarity measure in several branches of computer science. It measures the minimum total edge length of a perfect matching between two point sets. The Earth Mover's Distance under Translation…

Computational Geometry · Computer Science 2025-11-18 Karl Bringmann , Frank Staals , Karol Węgrzycki , Geert van Wordragen

We consider the approximate pattern matching problem under edit distance. In this problem we are given a pattern $P$ of length $w$ and a text $T$ of length $n$ over some alphabet $\Sigma$, and a positive integer $k$. The goal is to find all…

Data Structures and Algorithms · Computer Science 2018-11-06 Diptarka Chakraborty , Debarati Das , Michal Koucky

We engineer an algorithm to solve the approximate dictionary matching problem. Given a list of words $\mathcal{W}$, maximum distance $d$ fixed at preprocessing time and a query word $q$, we would like to retrieve all words from…

Information Retrieval · Computer Science 2010-08-19 Daniel Karch , Dennis Luxen , Peter Sanders

We propose the neural string edit distance model for string-pair matching and string transduction based on learnable string edit distance. We modify the original expectation-maximization learned edit distance algorithm into a differentiable…

Computation and Language · Computer Science 2022-04-28 Jindřich Libovický , Alexander Fraser
‹ Prev 1 3 4 5 6 7 10 Next ›