Programmable Co-Transcriptional Splicing: Realizing Regular Languages via Hairpin Deletion
Fuente:
arXiv
Salvato in:
| Autori principali: | Cho, Da-Jung, Fazekas, Szilárd Zsolt, Seki, Shinnosuke, Wiedenhöft, Max |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2025
|
| Soggetti: | |
| Accesso online: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
Documenti analoghi
A Formalization of Co-Transcriptional Splicing as an Operation on Formal Languages
di: Cho, Da-Jung, et al.
Pubblicazione: (2025)
di: Cho, Da-Jung, et al.
Pubblicazione: (2025)
Generalized Parikh Matrices For Tracking Subsequence Occurrences
di: Fazekas, Szilárd Zsolt, et al.
Pubblicazione: (2024)
di: Fazekas, Szilárd Zsolt, et al.
Pubblicazione: (2024)
Jump Complexity of Deterministic Finite Automata with Translucent Letters
di: Fazekas, Szilárd Zsolt, et al.
Pubblicazione: (2025)
di: Fazekas, Szilárd Zsolt, et al.
Pubblicazione: (2025)
RE#: High Performance Derivative-Based Regex Matching with Intersection, Complement and Lookarounds
di: Varatalu, Ian Erik, et al.
Pubblicazione: (2024)
di: Varatalu, Ian Erik, et al.
Pubblicazione: (2024)
The Equivalence Problem of E-Pattern Languages with Regular Constraints is Undecidable
di: Nowotka, Dirk, et al.
Pubblicazione: (2024)
di: Nowotka, Dirk, et al.
Pubblicazione: (2024)
Omega-Regular Robustness
di: Fisman, Dana, et al.
Pubblicazione: (2025)
di: Fisman, Dana, et al.
Pubblicazione: (2025)
How to Demonstrate Metalinearness and Regularity by Tree-Restricted General Grammars
di: Havel, Martin, et al.
Pubblicazione: (2024)
di: Havel, Martin, et al.
Pubblicazione: (2024)
Minimal History-Deterministic Co-Buchi Automata: Congruences and Passive Learning
di: Löding, Christof, et al.
Pubblicazione: (2025)
di: Löding, Christof, et al.
Pubblicazione: (2025)
Subsequence Matching and Analysis Problems for Formal Languages
di: Fazekas, Szilárd Zsolt, et al.
Pubblicazione: (2024)
di: Fazekas, Szilárd Zsolt, et al.
Pubblicazione: (2024)
The Equivalence Problem of E-Pattern Languages with Length Constraints is Undecidable
di: Nowotka, Dirk, et al.
Pubblicazione: (2024)
di: Nowotka, Dirk, et al.
Pubblicazione: (2024)
Non-reducible Modal Transition Systems
di: Basile, Davide
Pubblicazione: (2023)
di: Basile, Davide
Pubblicazione: (2023)
Learning real-time one-counter automata using polynomially many queries
di: Mathew, Prince, et al.
Pubblicazione: (2024)
di: Mathew, Prince, et al.
Pubblicazione: (2024)
Turn Complexity of Context-free Languages, Pushdown Automata and One-Counter Automata
di: Pighizzini, Giovanni
Pubblicazione: (2026)
di: Pighizzini, Giovanni
Pubblicazione: (2026)
Regular Model Checking for Systems with Effectively Regular Reachability Relation
di: Esparza, Javier, et al.
Pubblicazione: (2025)
di: Esparza, Javier, et al.
Pubblicazione: (2025)
On Minimization and Learning of Deterministic $ω$-Automata in the Presence of Don't Care Words
di: Löding, Christof, et al.
Pubblicazione: (2022)
di: Löding, Christof, et al.
Pubblicazione: (2022)
Algebraic Language Theory with Effects
di: Lenke, Fabian, et al.
Pubblicazione: (2024)
di: Lenke, Fabian, et al.
Pubblicazione: (2024)
Commuting upper triangular binary morphisms
di: Honkala, Juha
Pubblicazione: (2023)
di: Honkala, Juha
Pubblicazione: (2023)
Active Learning Techniques for Pomset Recognizers
di: Pommellet, Adrien, et al.
Pubblicazione: (2025)
di: Pommellet, Adrien, et al.
Pubblicazione: (2025)
A Robust Measure on FDFAs Following Duo-Normalized Acceptance
di: Fisman, Dana, et al.
Pubblicazione: (2023)
di: Fisman, Dana, et al.
Pubblicazione: (2023)
Store Languages of Turing Machines and Counter Machines
di: Friesen, Noah, et al.
Pubblicazione: (2025)
di: Friesen, Noah, et al.
Pubblicazione: (2025)
Active Learning of Upward-Closed Sets of Words
di: Aristote, Quentin
Pubblicazione: (2025)
di: Aristote, Quentin
Pubblicazione: (2025)
Deciding DFA-Primality is NP-Hard
di: Spenner, Daniel Alexander
Pubblicazione: (2026)
di: Spenner, Daniel Alexander
Pubblicazione: (2026)
Planning with Probabilistic Opacity and Transparency: A Computational Model of Opaque/Transparent Observations
di: Udupa, Sumukha, et al.
Pubblicazione: (2024)
di: Udupa, Sumukha, et al.
Pubblicazione: (2024)
Verifying Unboundedness via Amalgamation
di: Anand, Ashwani, et al.
Pubblicazione: (2024)
di: Anand, Ashwani, et al.
Pubblicazione: (2024)
Runtime Consultants
di: Fisman, Dana, et al.
Pubblicazione: (2025)
di: Fisman, Dana, et al.
Pubblicazione: (2025)
Learning Realtime One-Counter Automata
di: Bruyère, Véronique, et al.
Pubblicazione: (2021)
di: Bruyère, Véronique, et al.
Pubblicazione: (2021)
On History-Deterministic One-Counter Nets
di: Prakash, Keya, et al.
Pubblicazione: (2022)
di: Prakash, Keya, et al.
Pubblicazione: (2022)
Monads, Comonads, and Transducers
di: Stefański, Rafał
Pubblicazione: (2024)
di: Stefański, Rafał
Pubblicazione: (2024)
Automata with Timers
di: Bruyère, Véronique, et al.
Pubblicazione: (2023)
di: Bruyère, Véronique, et al.
Pubblicazione: (2023)
A Myhill-Nerode style Characterization for Timed Automata With Integer Resets
di: Doveri, Kyveli, et al.
Pubblicazione: (2024)
di: Doveri, Kyveli, et al.
Pubblicazione: (2024)
Normal Forms for Elements of ${}^*$-Continuous Kleene Algebras Representing the Context-Free Languages
di: Hopkins, Mark, et al.
Pubblicazione: (2023)
di: Hopkins, Mark, et al.
Pubblicazione: (2023)
Characterizing NC1 with Typed Monoids
di: Dawar, Anuj, et al.
Pubblicazione: (2025)
di: Dawar, Anuj, et al.
Pubblicazione: (2025)
An Analysis of Decision Problems for Relational Pattern Languages under Various Constraints
di: Jansen, Klaus, et al.
Pubblicazione: (2025)
di: Jansen, Klaus, et al.
Pubblicazione: (2025)
Parsing Hypergraphs using Context-Free Positional Grammars
di: Costagliola, Gennaro, et al.
Pubblicazione: (2026)
di: Costagliola, Gennaro, et al.
Pubblicazione: (2026)
Various Types of Comet Languages and their Application in External Contextual Grammars
di: Ködding, Marvin, et al.
Pubblicazione: (2024)
di: Ködding, Marvin, et al.
Pubblicazione: (2024)
On Repetitive Finite Automata with Translucent Words
di: Mráz, František, et al.
Pubblicazione: (2025)
di: Mráz, František, et al.
Pubblicazione: (2025)
On the Boolean Closure of Deterministic Top-Down Tree Automata
di: Löding, Christof, et al.
Pubblicazione: (2024)
di: Löding, Christof, et al.
Pubblicazione: (2024)
Introducing Divergence for Infinite Probabilistic Models
di: Finkel, Alain, et al.
Pubblicazione: (2023)
di: Finkel, Alain, et al.
Pubblicazione: (2023)
Recognizing Numbers
di: Gaba, Pranshu, et al.
Pubblicazione: (2025)
di: Gaba, Pranshu, et al.
Pubblicazione: (2025)
Lexicographic transductions of finite words
di: Filiot, Emmanuel, et al.
Pubblicazione: (2025)
di: Filiot, Emmanuel, et al.
Pubblicazione: (2025)
Documenti analoghi
-
A Formalization of Co-Transcriptional Splicing as an Operation on Formal Languages
di: Cho, Da-Jung, et al.
Pubblicazione: (2025) -
Generalized Parikh Matrices For Tracking Subsequence Occurrences
di: Fazekas, Szilárd Zsolt, et al.
Pubblicazione: (2024) -
Jump Complexity of Deterministic Finite Automata with Translucent Letters
di: Fazekas, Szilárd Zsolt, et al.
Pubblicazione: (2025) -
RE#: High Performance Derivative-Based Regex Matching with Intersection, Complement and Lookarounds
di: Varatalu, Ian Erik, et al.
Pubblicazione: (2024) -
The Equivalence Problem of E-Pattern Languages with Regular Constraints is Undecidable
di: Nowotka, Dirk, et al.
Pubblicazione: (2024)