Copertina

Complete Compositional Syntax for Finite Transducers on Finite and Bi-Infinite Words

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Carette, Titouan, de Visme, Marc, Ducros, Vivien, Lutfalla, Victor, Moutot, Etienne
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Logic in Computer Science Discrete Mathematics Formal Languages and Automata Theory
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

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

The commutativity problem for effective varieties of formal series, and applications
di: Clemente, Lorenzo
Pubblicazione: (2025)

Parikh Automata on Finite and Infinite Words
di: Grobler, Mario, et al.
Pubblicazione: (2023)

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

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

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

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

State Complexity of Shifts of the Fibonacci Word
di: Moradi, Delaram, et al.
Pubblicazione: (2026)

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

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

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

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

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

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

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)

The Narayana Morphism and Related Words
di: Shallit, Jeffrey
Pubblicazione: (2025)

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

Consecutive Power Occurrences in Sturmian Words
di: Bell, Jason, et al.
Pubblicazione: (2024)

A Diamond Structure in the Transducer Hierarchy
di: Kaufmann, Noah
Pubblicazione: (2021)

Reflexive Composition of Elementary State Machines, with an Application to the Reversal of Cellular Automata Rule 90
di: Salzberg, Chris, et al.
Pubblicazione: (2025)

On Word Representations and Embeddings in Complex Matrices
di: Bell, Paul C., et al.
Pubblicazione: (2026)

Reversible Transducers over Infinite Words
di: Dartois, Luc, et al.
Pubblicazione: (2024)

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)

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)

Asymptotic bounds for the number of closed and privileged words
di: Gabric, Daniel
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)

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)