Copertina

Normal forms in Virus Machines

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Ramírez-de-Arellano, A., Cabarle, F. G. C., Orellana-Martín, D., Pérez-Jiménez, M. J.
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Computation and Language Formal Languages and Automata Theory 68Q07 (Primary) 68Q10, 68R01 (Secondary) F.0; F.1.1
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Cellular Automaton Reducibility as a Measure of Complexity for Infinite Words
di: Zubia, Markel, et al.
Pubblicazione: (2026)

Deterministic Suffix-reading Automata
di: Keerthan, R, et al.
Pubblicazione: (2025)

List of Results on the Černý Conjecture and Reset Thresholds for Synchronizing Automata
di: Volkov, Mikhail V.
Pubblicazione: (2025)

Psi-Turing Machines: Bounded Introspection for Complexity Barriers and Oracle Separations
di: Huseynzade, Rafig
Pubblicazione: (2025)

On Transition Constructions for Automata -- A Categorical Perspective
di: Cruchten, Mike
Pubblicazione: (2024)

Polynomial Complementation of Nondeterministic 2-Way Finite Automata by 1-Limited Automata
di: Guillon, Bruno, et al.
Pubblicazione: (2025)

Kleene Theorems for Lasso Languages and $ω$-Languages
di: Cruchten, Mike
Pubblicazione: (2024)

Input-Erasing Two-Way Finite Automata
di: Meduna, Alexander, et al.
Pubblicazione: (2025)

Weighing Obese Timed Languages
di: Asarin, Eugene, et al.
Pubblicazione: (2025)

Computing the Bandwidth of Meager Timed Automata
di: Asarin, Eugene, et al.
Pubblicazione: (2024)

Propositional dynamic logic and asynchronous cascade decompositions for regular trace languages
di: Adsul, Bharat, et al.
Pubblicazione: (2024)

The Algebra of Nondeterministic Finite Automata
di: Gorrieri, Roberto
Pubblicazione: (2023)

Axiomatizing NFAs Generated by Regular Grammars
di: Gorrieri, Roberto
Pubblicazione: (2024)

Bandwidth of Nondeterministic Finite Automata
di: Cho, Da-Jung, et al.
Pubblicazione: (2026)

A Formalization of Co-Transcriptional Splicing as an Operation on Formal Languages
di: Cho, Da-Jung, et al.
Pubblicazione: (2025)

Classically Time-Controlled Quantum Automata: Definition and Properties
di: Díaz-Caro, Alejandro, et al.
Pubblicazione: (2018)

Decidability of membership problems for flat rational subsets of $\mathrm{GL}(2,\mathbb{Q})$ and singular matrices
di: Diekert, Volker, et al.
Pubblicazione: (2019)

A cornering strategy for synchronizing a DFA
di: Bradshaw, Peter, et al.
Pubblicazione: (2024)

Functional Closure Properties of Finite $\mathbb{N}$-weighted Automata
di: Dörfler, Julian, et al.
Pubblicazione: (2024)

Hypernode Automata
di: Bartocci, Ezio, et al.
Pubblicazione: (2023)

On Graph Grammars and Games
di: Vijayakumar, Jayakrishna, et al.
Pubblicazione: (2024)

The decidability of the genus of regular languages and directed emulators
di: Bonfante, Guillaume, et al.
Pubblicazione: (2021)

Hexagonal Picture Scanning Automata
di: D, Deepalakshmi, et al.
Pubblicazione: (2025)

Languages of Words of Low Automatic Complexity Are Hard to Compute
di: Chen, Joey, et al.
Pubblicazione: (2025)

Weighted Automata and Logics Meet Computational Complexity
di: Kostolányi, Peter
Pubblicazione: (2023)

Evaluating Massively Parallel Algorithms for DFA Minimisation, Equivalence Checking and Inclusion Checking
di: Heemstra, Jan, et al.
Pubblicazione: (2025)

Hamming distance between finite transducers
di: Dartois, Luc, et al.
Pubblicazione: (2026)

The generating power of weighted tree automata with initial algebra semantics
di: Droste, Manfred, et al.
Pubblicazione: (2024)

$\mathbb{N}$-polyregular functions arise from well-quasi-orderings
di: Lopez, Aliaume
Pubblicazione: (2024)

Attention Meets Reachability: Structural Equivalence and Efficiency in Grammar-Constrained LLM Decoding
di: Alpay, Faruk, et al.
Pubblicazione: (2026)

Decision Problems on Copying and Shuffling
di: Halava, Vesa, et al.
Pubblicazione: (2023)

Subshifts defined by nondeterministic and alternating plane-walking automata
di: de Menibus, Benjamin Hellouin, et al.
Pubblicazione: (2024)

A polynomial-time algorithm for the automatic Baire property
di: Staiger, Ludwig
Pubblicazione: (2025)

On Languages Describing Large Graph Classes
di: Fernau, Henning, et al.
Pubblicazione: (2026)

A note on Automatic Baire property
di: Staiger, Ludwig
Pubblicazione: (2025)

Anti-Context-Free languages
di: Cardó, Carles
Pubblicazione: (2024)

Computing Inductive Invariants of Regular Abstraction Frameworks
di: Czerner, Philipp, et al.
Pubblicazione: (2024)

Black-box Context-free Grammar Inference for Readable & Natural Grammars
di: Arefin, Mohammad Rifat, et al.
Pubblicazione: (2025)

A Unary-to-Nonunary Transition in the Accepting-State Spectrum of Right Quotient for Permutation Automata
di: German, Samuel
Pubblicazione: (2026)

Density of rational languages under shift invariant measures
di: Berthé, Valérie, et al.
Pubblicazione: (2025)