Copertina

The commutativity problem for effective varieties of formal series, and applications

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autore principale:	Clemente, Lorenzo
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Formal Languages and Automata Theory Discrete Mathematics Logic in Computer Science
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Weighted basic parallel processes and combinatorial enumeration
di: Clemente, Lorenzo
Pubblicazione: (2024)

Complete Compositional Syntax for Finite Transducers on Finite and Bi-Infinite Words
di: Carette, Titouan, et al.
Pubblicazione: (2025)

CMSO-transducing tree-like graph decompositions
di: Campbell, Rutger, et al.
Pubblicazione: (2024)

Generalized Hofstadter functions $G, H$ and beyond: numeration systems and discrepancy
di: Letouzey, Pierre
Pubblicazione: (2025)

Beatty Sequences for a Quadratic Irrational: Decidability and Applications
di: Schaeffer, Luke, et al.
Pubblicazione: (2024)

From Width-Based Model Checking to Width-Based Automated Theorem Proving
di: Oliveira, Mateus de Oliveira, et al.
Pubblicazione: (2022)

Algorithmic analysis of systems with affine input and polynomial state
di: Clemente, Lorenzo
Pubblicazione: (2025)

Decidability and Characterization of Expansivity for Group Cellular Automata
di: Castronuovo, Niccolo', et al.
Pubblicazione: (2025)

A Divide and Conquer Algorithm for Deciding Group Cellular Automata Dynamics
di: Castronuovo, Niccolo', et al.
Pubblicazione: (2025)

Modular Decomposition of Hierarchical Finite State Machines
di: Biggar, Oliver, et al.
Pubblicazione: (2021)

Algebraic Characterization of Reversible First Degree Cellular Automata over $\mathbb{Z}_d$
di: J., Baby C., et al.
Pubblicazione: (2026)

Persistent Permutability in Choice Petri Nets
di: Best, Eike, et al.
Pubblicazione: (2026)

A New Notion of Regularity: Finite State Automata Accepting Graphs
di: Meeres, Yvo Ad
Pubblicazione: (2024)

Counting Polyominoes in a Rectangle b x h
di: Marin, Louis
Pubblicazione: (2024)

Differential Tree Automata
di: Manssour, Rida Ait El, et al.
Pubblicazione: (2024)

Self-descriptive Sequences directed by two Periodic Sequences
di: Akiyama, Shigeki, et al.
Pubblicazione: (2024)

Membership problems in nilpotent groups
di: Bodart, Corentin
Pubblicazione: (2024)

Self-Verifying Predicates in Büchi Arithmetic
di: Khodier, Mazen, et al.
Pubblicazione: (2025)

Careful synchronisation and the diameter of transformation semigroups with few generators
di: Ryzhikov, Andrew
Pubblicazione: (2025)

The Repetition Threshold for Rote Sequences
di: Ollinger, Nicolas, et al.
Pubblicazione: (2024)

String Attractors for Automatic Sequences
di: Schaeffer, Luke, et al.
Pubblicazione: (2020)

Some Fibonacci-Related Sequences
di: Cloitre, Benoit, et al.
Pubblicazione: (2023)

Runs in Paperfolding Sequences
di: Shallit, Jeffrey
Pubblicazione: (2024)

Dyck Words, Pattern Avoidance, and Automatic Sequences
di: Mol, Lucas, et al.
Pubblicazione: (2023)

Asymptotic bounds for the number of closed and privileged words
di: Gabric, Daniel
Pubblicazione: (2022)

Pseudoperiodic Words and a Question of Shevelev
di: Meleshko, Joseph, et al.
Pubblicazione: (2022)

Some Remarks on Palindromic Periodicities
di: Fici, Gabriele, et al.
Pubblicazione: (2024)

Linear Recurrence Sequence Automata and the Addition of Abstract Numeration Systems
di: Carton, Olivier, et al.
Pubblicazione: (2024)

On shortest products for nonnegative matrix mortality
di: Ryzhikov, Andrew
Pubblicazione: (2024)

The Smallest String Attractors of Fibonacci and Period-Doubling Words
di: Banbara, Mutsunori, et al.
Pubblicazione: (2026)

Automatic Abelian Complexities of Parikh-Collinear Fixed Points
di: Rigo, Michel, et al.
Pubblicazione: (2024)

Banach density of generated languages: Dichotomies in topology and dimension
di: Kleinberg, Jon, et al.
Pubblicazione: (2026)

Repetition Threshold for Binary Automatic Sequences
di: Allouche, J. -P., et al.
Pubblicazione: (2024)

Ten Squares Force an Overlap
di: Shallit, Jeffrey
Pubblicazione: (2026)

Antisquares and Critical Exponents
di: Baranwal, Aseem, et al.
Pubblicazione: (2022)

A Language-Theoretic Approach to the Heapability of Signed Permutations
di: Istrate, Gabriel
Pubblicazione: (2024)

Strongly k-recursive sequences
di: Krenn, Daniel, et al.
Pubblicazione: (2024)

Complexity of Linear Subsequences of Fibonacci-Automatic Sequences
di: Moradi, Delaram, et al.
Pubblicazione: (2026)

Automatic constraint satisfaction problem
di: Bulatov, Andrei, et al.
Pubblicazione: (2026)

Unbounded length minimal synchronizing words for quantum channels over qutrits
di: Kjos-Hanssen, Bjørn, et al.
Pubblicazione: (2026)