Unveiling the connection between the Lyndon factorization and the Canonical Inverse Lyndon factorization via a border property
Fuente:
arXiv
Salvato in:
| Autori principali: | Bonizzoni, Paola, De Felice, Clelia, Riccardi, Brian, Zaccagnino, Rocco, Zizza, Rosalba |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2024
|
| Soggetti: | |
| Accesso online: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
Documenti analoghi
From the Lyndon factorization to the Canonical Inverse Lyndon factorization: back and forth
di: Bonizzoni, Paola, et al.
Pubblicazione: (2024)
di: Bonizzoni, Paola, et al.
Pubblicazione: (2024)
The Inverse Lyndon Array: Definition, Properties, and Linear-Time Construction
di: Negri, Pietro, et al.
Pubblicazione: (2026)
di: Negri, Pietro, et al.
Pubblicazione: (2026)
Finite maximal codes and factorizations of cyclic groups
di: De Felice, Clelia
Pubblicazione: (2022)
di: De Felice, Clelia
Pubblicazione: (2022)
Universally Wheeler Languages
di: Becker, Ruben, et al.
Pubblicazione: (2025)
di: Becker, Ruben, et al.
Pubblicazione: (2025)
The complexity of reachability problems in strongly connected finite automata
di: Kiefer, Stefan, et al.
Pubblicazione: (2025)
di: Kiefer, Stefan, et al.
Pubblicazione: (2025)
Temporal Causal Models as a Model of Computation
di: Gladyshev, Maksim, et al.
Pubblicazione: (2026)
di: Gladyshev, Maksim, et al.
Pubblicazione: (2026)
Synchronization of strongly connected partial DFAs and prefix codes
di: Berlinkov, Mikhail V., et al.
Pubblicazione: (2021)
di: Berlinkov, Mikhail V., et al.
Pubblicazione: (2021)
A Probabilistic Model-Checking Framework for Cognitive Assessment and Training
di: De Maria, Elisabetta, et al.
Pubblicazione: (2026)
di: De Maria, Elisabetta, et al.
Pubblicazione: (2026)
GrappaRE -- A Tool for Efficient Graph Recognition Based on Finite Automata and Regular Expressions
di: De Rosa, Mattia, et al.
Pubblicazione: (2025)
di: De Rosa, Mattia, et al.
Pubblicazione: (2025)
[Draft] High-order estimation-based properties and high-order observers for labeled finite-state automata
di: Zhang, Kuize, et al.
Pubblicazione: (2024)
di: Zhang, Kuize, et al.
Pubblicazione: (2024)
Locality Testing for NFAs is PSPACE-complete
di: Amarilli, Antoine, et al.
Pubblicazione: (2025)
di: Amarilli, Antoine, et al.
Pubblicazione: (2025)
Hyper-Minimization for Deterministic Register Automata
di: Li, Yong, et al.
Pubblicazione: (2026)
di: Li, Yong, et al.
Pubblicazione: (2026)
Exact Separation of Words via Trace Geometry
di: Chen, Zeyu, et al.
Pubblicazione: (2026)
di: Chen, Zeyu, et al.
Pubblicazione: (2026)
Minimality Notions via Factorization Systems and Examples
di: Wißmann, Thorsten
Pubblicazione: (2022)
di: Wißmann, Thorsten
Pubblicazione: (2022)
Extended Stone Duality via Monoidal Adjunctions
di: Lenke, Fabian, et al.
Pubblicazione: (2024)
di: Lenke, Fabian, et al.
Pubblicazione: (2024)
Characterizing normality via automata and random matrix products
di: Bienvenu, Laurent, et al.
Pubblicazione: (2026)
di: Bienvenu, Laurent, et al.
Pubblicazione: (2026)
Specializing anti-unification for interaction models composition via gate connections
di: Nguetoum, Joel, et al.
Pubblicazione: (2025)
di: Nguetoum, Joel, et al.
Pubblicazione: (2025)
Resolving Nondeterminism by Chance
di: Paul, Soumyajit, et al.
Pubblicazione: (2025)
di: Paul, Soumyajit, et al.
Pubblicazione: (2025)
MITL Model Checking via Generalized Timed Automata and a New Liveness Algorithm
di: Akshay, S., et al.
Pubblicazione: (2024)
di: Akshay, S., et al.
Pubblicazione: (2024)
Time for Quiescence: Modelling quiescent behaviour in testing via time-outs in timed automata
di: Briones, Laura Brandán, et al.
Pubblicazione: (2025)
di: Briones, Laura Brandán, et al.
Pubblicazione: (2025)
Generalised Arc Consistency via the Synchronised Product of Finite Automata wrt a Constraint
di: Beldiceanu, Nicolas
Pubblicazione: (2025)
di: Beldiceanu, Nicolas
Pubblicazione: (2025)
Reasoning about Rare-Event Reachability in Stochastic Vector Addition Systems via Affine Vector Spaces
di: Jeppson, Joshua, et al.
Pubblicazione: (2025)
di: Jeppson, Joshua, et al.
Pubblicazione: (2025)
Language Models over Canonical Byte-Pair Encodings
di: Vieira, Tim, et al.
Pubblicazione: (2025)
di: Vieira, Tim, et al.
Pubblicazione: (2025)
New properties of the $φ$-representation of integers
di: Shallit, Jeffrey, et al.
Pubblicazione: (2025)
di: Shallit, Jeffrey, et al.
Pubblicazione: (2025)
WEX: Formal Specifications for Windows in Stream Processing
di: Hitarth, S, et al.
Pubblicazione: (2022)
di: Hitarth, S, et al.
Pubblicazione: (2022)
The Expansion Problem for Infinite Trees
di: Blumensath, Achim
Pubblicazione: (2023)
di: Blumensath, Achim
Pubblicazione: (2023)
A General Information Extraction Framework Based on Formal Languages
di: Schmid, Markus L.
Pubblicazione: (2025)
di: Schmid, Markus L.
Pubblicazione: (2025)
Finite Automata for Efficient Graph Recognition
di: Drewes, Frank, et al.
Pubblicazione: (2024)
di: Drewes, Frank, et al.
Pubblicazione: (2024)
Statistical process discovery
di: Cry, Pierre, et al.
Pubblicazione: (2025)
di: Cry, Pierre, et al.
Pubblicazione: (2025)
Hyper pattern matching
di: Waga, Masaki, et al.
Pubblicazione: (2025)
di: Waga, Masaki, et al.
Pubblicazione: (2025)
Input-Driven Pushdown Automata with Translucent Input Letters
di: Kutrib, Martin, et al.
Pubblicazione: (2025)
di: Kutrib, Martin, et al.
Pubblicazione: (2025)
Certified Symbolic Finite Transducers: Formalization and Applications to String Analysis
di: Kan, Shuanglong, et al.
Pubblicazione: (2025)
di: Kan, Shuanglong, et al.
Pubblicazione: (2025)
Componentwise Automata Learning for System Integration (Extended Version)
di: Fujinami, Hiroya, et al.
Pubblicazione: (2025)
di: Fujinami, Hiroya, et al.
Pubblicazione: (2025)
Universality Frontier for Asynchronous Cellular Automata
di: Baburin, Ivan, et al.
Pubblicazione: (2025)
di: Baburin, Ivan, et al.
Pubblicazione: (2025)
From Trees to Tree-Like: Distribution and Synthesis for Asynchronous Automata
di: Lehaut, Mathieu, et al.
Pubblicazione: (2026)
di: Lehaut, Mathieu, et al.
Pubblicazione: (2026)
One-clock synthesis problems
di: Lasota, Sławomir, et al.
Pubblicazione: (2026)
di: Lasota, Sławomir, et al.
Pubblicazione: (2026)
Pumping-Like Results for Copyless Cost Register Automata and Polynomially Ambiguous Weighted Automata
di: Mazowiecki, Filip, et al.
Pubblicazione: (2025)
di: Mazowiecki, Filip, et al.
Pubblicazione: (2025)
Infinite-state Games with Energy Objectives Beyond Counters
di: Sağlam, Irmak, et al.
Pubblicazione: (2026)
di: Sağlam, Irmak, et al.
Pubblicazione: (2026)
Nondeterministic state complexity of square root
di: Onishchenko, Sergey
Pubblicazione: (2026)
di: Onishchenko, Sergey
Pubblicazione: (2026)
Forgetting Event Order in Higher-Dimensional Automata
di: Zouari, Safa
Pubblicazione: (2026)
di: Zouari, Safa
Pubblicazione: (2026)
Documenti analoghi
-
From the Lyndon factorization to the Canonical Inverse Lyndon factorization: back and forth
di: Bonizzoni, Paola, et al.
Pubblicazione: (2024) -
The Inverse Lyndon Array: Definition, Properties, and Linear-Time Construction
di: Negri, Pietro, et al.
Pubblicazione: (2026) -
Finite maximal codes and factorizations of cyclic groups
di: De Felice, Clelia
Pubblicazione: (2022) -
Universally Wheeler Languages
di: Becker, Ruben, et al.
Pubblicazione: (2025) -
The complexity of reachability problems in strongly connected finite automata
di: Kiefer, Stefan, et al.
Pubblicazione: (2025)