Saved in:
| Main Authors: | , |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2508.07779 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
Deterministic Suffix-reading Automata
by: Keerthan, R, et al.
Published: (2025)
by: Keerthan, R, et al.
Published: (2025)
List of Results on the Černý Conjecture and Reset Thresholds for Synchronizing Automata
by: Volkov, Mikhail V.
Published: (2025)
by: Volkov, Mikhail V.
Published: (2025)
Classically Time-Controlled Quantum Automata: Definition and Properties
by: Díaz-Caro, Alejandro, et al.
Published: (2018)
by: Díaz-Caro, Alejandro, et al.
Published: (2018)
Polynomial Complementation of Nondeterministic 2-Way Finite Automata by 1-Limited Automata
by: Guillon, Bruno, et al.
Published: (2025)
by: Guillon, Bruno, et al.
Published: (2025)
Input-Erasing Two-Way Finite Automata
by: Meduna, Alexander, et al.
Published: (2025)
by: Meduna, Alexander, et al.
Published: (2025)
On Transition Constructions for Automata -- A Categorical Perspective
by: Cruchten, Mike
Published: (2024)
by: Cruchten, Mike
Published: (2024)
Computing the Bandwidth of Meager Timed Automata
by: Asarin, Eugene, et al.
Published: (2024)
by: Asarin, Eugene, et al.
Published: (2024)
The Algebra of Nondeterministic Finite Automata
by: Gorrieri, Roberto
Published: (2023)
by: Gorrieri, Roberto
Published: (2023)
Hypernode Automata
by: Bartocci, Ezio, et al.
Published: (2023)
by: Bartocci, Ezio, et al.
Published: (2023)
Axiomatizing NFAs Generated by Regular Grammars
by: Gorrieri, Roberto
Published: (2024)
by: Gorrieri, Roberto
Published: (2024)
On Graph Grammars and Games
by: Vijayakumar, Jayakrishna, et al.
Published: (2024)
by: Vijayakumar, Jayakrishna, et al.
Published: (2024)
On the ET0L subgroup membership problem in bounded automata groups
by: Bishop, Alex, et al.
Published: (2024)
by: Bishop, Alex, et al.
Published: (2024)
Functional Closure Properties of Finite $\mathbb{N}$-weighted Automata
by: Dörfler, Julian, et al.
Published: (2024)
by: Dörfler, Julian, et al.
Published: (2024)
Propositional dynamic logic and asynchronous cascade decompositions for regular trace languages
by: Adsul, Bharat, et al.
Published: (2024)
by: Adsul, Bharat, et al.
Published: (2024)
Permutation closure for multiple context-free languages
by: Duncan, Andrew, et al.
Published: (2025)
by: Duncan, Andrew, et al.
Published: (2025)
Kleene Theorems for Lasso Languages and $ω$-Languages
by: Cruchten, Mike
Published: (2024)
by: Cruchten, Mike
Published: (2024)
Evaluating Massively Parallel Algorithms for DFA Minimisation, Equivalence Checking and Inclusion Checking
by: Heemstra, Jan, et al.
Published: (2025)
by: Heemstra, Jan, et al.
Published: (2025)
Bandwidth of Nondeterministic Finite Automata
by: Cho, Da-Jung, et al.
Published: (2026)
by: Cho, Da-Jung, et al.
Published: (2026)
Weighing Obese Timed Languages
by: Asarin, Eugene, et al.
Published: (2025)
by: Asarin, Eugene, et al.
Published: (2025)
Context-Free Trees
by: Wächter, Jan Philipp
Published: (2026)
by: Wächter, Jan Philipp
Published: (2026)
Decidability of membership problems for flat rational subsets of $\mathrm{GL}(2,\mathbb{Q})$ and singular matrices
by: Diekert, Volker, et al.
Published: (2019)
by: Diekert, Volker, et al.
Published: (2019)
On the Intersection Problem for Quantum Finite Automata
by: Benso, Andrea, et al.
Published: (2024)
by: Benso, Andrea, et al.
Published: (2024)
Languages given by Finite Automata over the Unary Alphabet
by: Czerwiński, Wojciech, et al.
Published: (2023)
by: Czerwiński, Wojciech, et al.
Published: (2023)
On Quantum Context-Free Grammars
by: Aruja, Merina, et al.
Published: (2025)
by: Aruja, Merina, et al.
Published: (2025)
Normal forms in Virus Machines
by: Ramírez-de-Arellano, A., et al.
Published: (2024)
by: Ramírez-de-Arellano, A., et al.
Published: (2024)
Learning Automata with Name Allocation
by: Frank, Florian, et al.
Published: (2025)
by: Frank, Florian, et al.
Published: (2025)
Decomposition of Automata recognizing Ideals
by: Berry, Mathias, et al.
Published: (2026)
by: Berry, Mathias, et al.
Published: (2026)
A Formalization of Co-Transcriptional Splicing as an Operation on Formal Languages
by: Cho, Da-Jung, et al.
Published: (2025)
by: Cho, Da-Jung, et al.
Published: (2025)
$\mathbb{N}$-polyregular functions arise from well-quasi-orderings
by: Lopez, Aliaume
Published: (2024)
by: Lopez, Aliaume
Published: (2024)
Alternating Nominal Automata with Name Allocation
by: Frank, Florian, et al.
Published: (2024)
by: Frank, Florian, et al.
Published: (2024)
Nominal Tree Automata With Name Allocation
by: Prucker, Simon, et al.
Published: (2024)
by: Prucker, Simon, et al.
Published: (2024)
An $L^{\#}$ Based Algorithm for Active Learning of Minimal Separating Automata
by: Laumen, Jasper, et al.
Published: (2026)
by: Laumen, Jasper, et al.
Published: (2026)
Subshifts defined by nondeterministic and alternating plane-walking automata
by: de Menibus, Benjamin Hellouin, et al.
Published: (2024)
by: de Menibus, Benjamin Hellouin, et al.
Published: (2024)
Subsets of groups with context-free preimages
by: Levine, Alex
Published: (2023)
by: Levine, Alex
Published: (2023)
On the topology of concurrent systems
by: Faustino, Catarina, et al.
Published: (2024)
by: Faustino, Catarina, et al.
Published: (2024)
The Freeness Problem for Automaton Semigroups
by: D'Angeli, Daniele, et al.
Published: (2024)
by: D'Angeli, Daniele, et al.
Published: (2024)
Illustrating Finite Automata with Grail+ and TikZ
by: May, Alastair, et al.
Published: (2024)
by: May, Alastair, et al.
Published: (2024)
A Unary-to-Nonunary Transition in the Accepting-State Spectrum of Right Quotient for Permutation Automata
by: German, Samuel
Published: (2026)
by: German, Samuel
Published: (2026)
The Word Problem for Finitary Automaton Groups
by: Kotowsky, Maximilian, et al.
Published: (2023)
by: Kotowsky, Maximilian, et al.
Published: (2023)
Evolution-Based Timed Opacity under a Universal Observation Model
by: Zhang, Zhe, et al.
Published: (2026)
by: Zhang, Zhe, et al.
Published: (2026)