Buchumschlag

Characterization of Isometric Words based on Swap and Mismatch Distance

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Anselmo, M., Castiglione, G., Flores, M., Giammarresi, D., Madonia, M., Mantaci, S.
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Formal Languages and Automata Theory
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Universally Wheeler Languages
von: Becker, Ruben, et al.
Veröffentlicht: (2025)

Classifying Words with 3-sort Automata
von: Jastrząb, Tomasz, et al.
Veröffentlicht: (2024)

Reversible Transducers over Infinite Words
von: Dartois, Luc, et al.
Veröffentlicht: (2024)

On the Complexity of Language Membership for Probabilistic Words
von: Amarilli, Antoine, et al.
Veröffentlicht: (2025)

Exact Separation of Words via Trace Geometry
von: Chen, Zeyu, et al.
Veröffentlicht: (2026)

Measure Many Quantum Finite Automata on Infinite Words
von: Midya, Abhisek, et al.
Veröffentlicht: (2026)

Word-Representable Graphs and Locality of Words
von: Böll, Philipp, et al.
Veröffentlicht: (2025)

A Characterization of Turing Machines that Compute Primitive Recursive Functions
von: Schwartz, Daniel G.
Veröffentlicht: (2025)

Characterizing normality via automata and random matrix products
von: Bienvenu, Laurent, et al.
Veröffentlicht: (2026)

Characterizations of Controlled Generation of Right Linear Grammars with Unknown Behaviors
von: Ise, Daihei, et al.
Veröffentlicht: (2024)

Algebraic Characterization of FO-definable Languages of Higher-Dimensional Automata
von: Erlich, Enzo, et al.
Veröffentlicht: (2026)

WEX: Formal Specifications for Windows in Stream Processing
von: Hitarth, S, et al.
Veröffentlicht: (2022)

Efficient Runtime Verification of Real-Time Systems under Parametric Communication Delays
von: Fränzle, Martin, et al.
Veröffentlicht: (2024)

Time for Timed Monitorability
von: Grosen, Thomas M., et al.
Veröffentlicht: (2025)

Quasi-Isometric Reductions Between Infinite Strings
von: Celine, Karen Frilya, et al.
Veröffentlicht: (2024)

Exploiting Assumptions for Effective Monitoring of Real-Time Properties under Partial Observability
von: Cimatti, Alessandro, et al.
Veröffentlicht: (2024)

Characterization of deterministically recognizable weighted tree languages over commutative semifields by finitely generated and cancellative scalar algebras
von: Fülöp, Zoltán, et al.
Veröffentlicht: (2025)

Recursive Prime Factorizations: Dyck Words as Numbers
von: Childress, Ralph L.
Veröffentlicht: (2021)

A Sharper Upper Bound for the Separating Words Problem
von: Dumitru, Bogdan C.
Veröffentlicht: (2025)

On Decidability Timed Automata with 2 Parametric Clocks
von: Bersani, Marcello M., et al.
Veröffentlicht: (2025)

Mining Diamonds in labeled Transition Systems
von: van Spaendonck, P. H. M., et al.
Veröffentlicht: (2025)

Computational Complexity of Alignments
von: Schwanen, Christopher T., et al.
Veröffentlicht: (2026)

Scalable Tree-based Register Automata Learning
von: Dierl, Simon, et al.
Veröffentlicht: (2024)

Correctness Notions for Petri Nets with Identifiers
von: van der Werf, Jan Martijn E. M., et al.
Veröffentlicht: (2022)

Abstract String Domain Defined with Word Equations as a Reduced Product (Extended Version)
von: Nepeivoda, Antonina, et al.
Veröffentlicht: (2025)

Congruence based proofs of the recognizability theorems for free many-sorted algebras
von: Vidal, Juan Climent, et al.
Veröffentlicht: (2018)

[Draft] High-order estimation-based properties and high-order observers for labeled finite-state automata
von: Zhang, Kuize, et al.
Veröffentlicht: (2024)

You May Delay, but Time Will Not: Timed Games Under Delayed Control
von: Larsen, Kim G., et al.
Veröffentlicht: (2025)

Quantum finite automata and linear context-free languages: a decidable problem
von: Bertoni, A., et al.
Veröffentlicht: (2013)

Characterization and Decidability of FC-Definable Regular Languages
von: Thompson, Sam M., et al.
Veröffentlicht: (2025)

Characterizing Implementability of Global Protocols with Infinite States and Data
von: Li, Elaine, et al.
Veröffentlicht: (2024)

Comparing Spoken Languages using Paninian System of Sounds and Finite State Machines
von: Prabhu, Shreekanth M, et al.
Veröffentlicht: (2023)

Absent Subsequences in Words
von: Kosche, Maria, et al.
Veröffentlicht: (2021)

Finite Automata for Efficient Graph Recognition
von: Drewes, Frank, et al.
Veröffentlicht: (2024)

MITL Model Checking via Generalized Timed Automata and a New Liveness Algorithm
von: Akshay, S., et al.
Veröffentlicht: (2024)

A Formal Approach for Tuning Stochastic Oscillators
von: Ballarini, Paolo, et al.
Veröffentlicht: (2024)

A Tree Sampler for Bounded Context-Free Languages
von: Considine, Breandan
Veröffentlicht: (2024)

Distribution of Reconfiguration Languages maintaining Tree-like Communication Topology
von: Hausmann, Daniel, et al.
Veröffentlicht: (2024)

Lookahead Games and Efficient Determinisation of History-Deterministic Büchi Automata
von: Acharya, Rohan, et al.
Veröffentlicht: (2024)

$ω$-regular Expression Synthesis from Transition-Based Büchi Automata
von: Pert, Charles, et al.
Veröffentlicht: (2024)