Deciding DFA-Primality is NP-Hard
Fuente:
arXiv
Enregistré dans:
| Auteur principal: | Spenner, Daniel Alexander |
|---|---|
| Format: | Preprint |
| Publié: |
2026
|
| Sujets: | |
| Accès en ligne: | |
| Tags: |
Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
|
Documents similaires
How to Demonstrate Metalinearness and Regularity by Tree-Restricted General Grammars
par: Havel, Martin, et autres
Publié: (2024)
par: Havel, Martin, et autres
Publié: (2024)
Algebraic Language Theory with Effects
par: Lenke, Fabian, et autres
Publié: (2024)
par: Lenke, Fabian, et autres
Publié: (2024)
Commuting upper triangular binary morphisms
par: Honkala, Juha
Publié: (2023)
par: Honkala, Juha
Publié: (2023)
Active Learning Techniques for Pomset Recognizers
par: Pommellet, Adrien, et autres
Publié: (2025)
par: Pommellet, Adrien, et autres
Publié: (2025)
Minimal History-Deterministic Co-Buchi Automata: Congruences and Passive Learning
par: Löding, Christof, et autres
Publié: (2025)
par: Löding, Christof, et autres
Publié: (2025)
A Robust Measure on FDFAs Following Duo-Normalized Acceptance
par: Fisman, Dana, et autres
Publié: (2023)
par: Fisman, Dana, et autres
Publié: (2023)
Store Languages of Turing Machines and Counter Machines
par: Friesen, Noah, et autres
Publié: (2025)
par: Friesen, Noah, et autres
Publié: (2025)
Active Learning of Upward-Closed Sets of Words
par: Aristote, Quentin
Publié: (2025)
par: Aristote, Quentin
Publié: (2025)
Planning with Probabilistic Opacity and Transparency: A Computational Model of Opaque/Transparent Observations
par: Udupa, Sumukha, et autres
Publié: (2024)
par: Udupa, Sumukha, et autres
Publié: (2024)
Verifying Unboundedness via Amalgamation
par: Anand, Ashwani, et autres
Publié: (2024)
par: Anand, Ashwani, et autres
Publié: (2024)
Omega-Regular Robustness
par: Fisman, Dana, et autres
Publié: (2025)
par: Fisman, Dana, et autres
Publié: (2025)
Runtime Consultants
par: Fisman, Dana, et autres
Publié: (2025)
par: Fisman, Dana, et autres
Publié: (2025)
Learning Realtime One-Counter Automata
par: Bruyère, Véronique, et autres
Publié: (2021)
par: Bruyère, Véronique, et autres
Publié: (2021)
On History-Deterministic One-Counter Nets
par: Prakash, Keya, et autres
Publié: (2022)
par: Prakash, Keya, et autres
Publié: (2022)
Monads, Comonads, and Transducers
par: Stefański, Rafał
Publié: (2024)
par: Stefański, Rafał
Publié: (2024)
Automata with Timers
par: Bruyère, Véronique, et autres
Publié: (2023)
par: Bruyère, Véronique, et autres
Publié: (2023)
A Myhill-Nerode style Characterization for Timed Automata With Integer Resets
par: Doveri, Kyveli, et autres
Publié: (2024)
par: Doveri, Kyveli, et autres
Publié: (2024)
Normal Forms for Elements of ${}^*$-Continuous Kleene Algebras Representing the Context-Free Languages
par: Hopkins, Mark, et autres
Publié: (2023)
par: Hopkins, Mark, et autres
Publié: (2023)
Deciding Sparseness of Regular Languages of Finite Trees and Infinite Words
par: Eickmeyer, Kord, et autres
Publié: (2025)
par: Eickmeyer, Kord, et autres
Publié: (2025)
Parsing Hypergraphs using Context-Free Positional Grammars
par: Costagliola, Gennaro, et autres
Publié: (2026)
par: Costagliola, Gennaro, et autres
Publié: (2026)
Various Types of Comet Languages and their Application in External Contextual Grammars
par: Ködding, Marvin, et autres
Publié: (2024)
par: Ködding, Marvin, et autres
Publié: (2024)
Introducing Divergence for Infinite Probabilistic Models
par: Finkel, Alain, et autres
Publié: (2023)
par: Finkel, Alain, et autres
Publié: (2023)
The single-use restriction for register automata and transducers over infinite alphabets
par: Stefański, Rafał
Publié: (2024)
par: Stefański, Rafał
Publié: (2024)
A Word Sampler for Well-Typed Functions
par: Considine, Breandan
Publié: (2025)
par: Considine, Breandan
Publié: (2025)
Non-reducible Modal Transition Systems
par: Basile, Davide
Publié: (2023)
par: Basile, Davide
Publié: (2023)
Learning real-time one-counter automata using polynomially many queries
par: Mathew, Prince, et autres
Publié: (2024)
par: Mathew, Prince, et autres
Publié: (2024)
Formal Modeling and Verification of Grover's Algorithm
par: Sun, H., et autres
Publié: (2026)
par: Sun, H., et autres
Publié: (2026)
Some Remarks on Marginal Code Languages
par: Konstantinidis, Stavros
Publié: (2026)
par: Konstantinidis, Stavros
Publié: (2026)
On Repetitive Finite Automata with Translucent Words
par: Mráz, František, et autres
Publié: (2025)
par: Mráz, František, et autres
Publié: (2025)
On the Boolean Closure of Deterministic Top-Down Tree Automata
par: Löding, Christof, et autres
Publié: (2024)
par: Löding, Christof, et autres
Publié: (2024)
On Minimization and Learning of Deterministic $ω$-Automata in the Presence of Don't Care Words
par: Löding, Christof, et autres
Publié: (2022)
par: Löding, Christof, et autres
Publié: (2022)
Recognizing Numbers
par: Gaba, Pranshu, et autres
Publié: (2025)
par: Gaba, Pranshu, et autres
Publié: (2025)
Lexicographic transductions of finite words
par: Filiot, Emmanuel, et autres
Publié: (2025)
par: Filiot, Emmanuel, et autres
Publié: (2025)
Probabilistic Finite Automaton Emptiness is undecidable
par: Rote, Günter
Publié: (2024)
par: Rote, Günter
Publié: (2024)
Orbit-Finite-Dimensional Vector Spaces and Weighted Register Automata
par: Bojańczyk, Mikołaj, et autres
Publié: (2021)
par: Bojańczyk, Mikołaj, et autres
Publié: (2021)
Probabilistic Finite Automaton Emptiness is Undecidable for a Fixed Automaton
par: Rote, Günter
Publié: (2024)
par: Rote, Günter
Publié: (2024)
On universality of regular realizability problems
par: Rubtsov, Alexander, et autres
Publié: (2023)
par: Rubtsov, Alexander, et autres
Publié: (2023)
Geometric Characterization of Context-Free Intersections via the Inner Segment Dichotomy
par: Silva, Jorge Miguel
Publié: (2026)
par: Silva, Jorge Miguel
Publié: (2026)
Orchestration of Music by Grammar Systems
par: Makiš, Jozef, et autres
Publié: (2025)
par: Makiš, Jozef, et autres
Publié: (2025)
RE#: High Performance Derivative-Based Regex Matching with Intersection, Complement and Lookarounds
par: Varatalu, Ian Erik, et autres
Publié: (2024)
par: Varatalu, Ian Erik, et autres
Publié: (2024)
Documents similaires
-
How to Demonstrate Metalinearness and Regularity by Tree-Restricted General Grammars
par: Havel, Martin, et autres
Publié: (2024) -
Algebraic Language Theory with Effects
par: Lenke, Fabian, et autres
Publié: (2024) -
Commuting upper triangular binary morphisms
par: Honkala, Juha
Publié: (2023) -
Active Learning Techniques for Pomset Recognizers
par: Pommellet, Adrien, et autres
Publié: (2025) -
Minimal History-Deterministic Co-Buchi Automata: Congruences and Passive Learning
par: Löding, Christof, et autres
Publié: (2025)