Copertina

Composing Copyless Streaming String Transducers

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Alur, Rajeev, Dohmen, Taylor, Trivedi, Ashutosh
Natura:	Preprint
Pubblicazione:	2022
Soggetti:	Formal Languages and Automata Theory
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Finite-valued Streaming String Transducers
di: Filiot, Emmanuel, et al.
Pubblicazione: (2024)

Minimizing Streaming String Transducers: An algebraic approach
di: Benalioua, Yahia Idriss, et al.
Pubblicazione: (2026)

A Regular and Complete Notion of Delay for Streaming String Transducers
di: Filiot, Emmanuel, et al.
Pubblicazione: (2022)

Pumping-Like Results for Copyless Cost Register Automata and Polynomially Ambiguous Weighted Automata
di: Mazowiecki, Filip, et al.
Pubblicazione: (2025)

Certified Symbolic Finite Transducers: Formalization and Applications to String Analysis
di: Kan, Shuanglong, et al.
Pubblicazione: (2025)

Reversible Pebble Transducers
di: Dartois, Luc, et al.
Pubblicazione: (2025)

Approximate Problems for Finite Transducers
di: Filiot, Emmanuel, et al.
Pubblicazione: (2025)

Minimization of Streaming Transducers
di: Bianchini, Christian, et al.
Pubblicazione: (2026)

Attributed Tree Transducers for Partial Functions
di: Maneth, Sebastian, et al.
Pubblicazione: (2024)

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

String Solving with Stabilization and Transducers (Technical Report)
di: Chocholatý, David, et al.
Pubblicazione: (2026)

Active Learning of Deterministic Transducers with Outputs in Arbitrary Monoids
di: Aristote, Quentin
Pubblicazione: (2024)

LLMs as Probabilistic Minimally Adequate Teachers for DFA Learning
di: Chen, Lekai, et al.
Pubblicazione: (2024)

Co-Buchi Barrier Certificates for Discrete-time Dynamical Systems
di: Murali, Vishnu, et al.
Pubblicazione: (2023)

Deciding Linear Height and Linear Size-to-Height Increase for Macro Tree Transducers
di: Gallot, Paul, et al.
Pubblicazione: (2023)

Deciding whether an Attributed Translation can be realized by a Top-Down Transducer
di: Maneth, Sebastian, et al.
Pubblicazione: (2023)

Transducing Language Models
di: Snæbjarnarson, Vésteinn, et al.
Pubblicazione: (2026)

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

Transformers as Transducers
di: Strobl, Lena, et al.
Pubblicazione: (2024)

Cayley Automatic Groups and Numerical Characteristics of Turing Transducers
di: Berdinsky, Dmitry
Pubblicazione: (2016)

WEX: Formal Specifications for Windows in Stream Processing
di: Hitarth, S, et al.
Pubblicazione: (2022)

Monads, Comonads, and Transducers
di: Stefański, Rafał
Pubblicazione: (2024)

Context-Free Languages of String Diagrams
di: Earnshaw, Matt, et al.
Pubblicazione: (2024)

Decision Procedure for A Theory of String Sequences
di: Hu, Denghang, et al.
Pubblicazione: (2025)

Shape Preserving Tree Transducers
di: Gallot, Paul, et al.
Pubblicazione: (2025)

Descriptional Complexity of Finite Automata -- Selected Highlights
di: Salomaa, Arto, et al.
Pubblicazione: (2023)

Reasoning about Rare-Event Reachability in Stochastic Vector Addition Systems via Affine Vector Spaces
di: Jeppson, Joshua, et al.
Pubblicazione: (2025)

Simulation by Rounds of Letter-to-Letter Transducers
di: Nassar, Antonio Abu, et al.
Pubblicazione: (2021)

Abstract String Domain Defined with Word Equations as a Reduced Product (Extended Version)
di: Nepeivoda, Antonina, et al.
Pubblicazione: (2025)

Slightly Non-Linear Higher-Order Tree Transducers
di: Nguyên, Lê Thành Dũng, et al.
Pubblicazione: (2024)

PDFA Distillation via String Probability Queries
di: Baumgartner, Robert, et al.
Pubblicazione: (2024)

Tracy, Traces, and Transducers: Computable Counterexamples and Explanations for HyperLTL Model-Checking
di: Winter, Sarah, et al.
Pubblicazione: (2024)

Learning Deterministic Finite-State Machines from the Prefixes of a Single String is NP-Complete
di: Dumitru, Radu Cosmin, et al.
Pubblicazione: (2026)

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

Exponent-Strings and Their Edit Distance
di: Baek, Ingyu
Pubblicazione: (2024)

Large Scale Geometries of Infinite Strings
di: Khoussainov, Bakhadyr, et al.
Pubblicazione: (2019)

Correctness Notions for Petri Nets with Identifiers
di: van der Werf, Jan Martijn E. M., et al.
Pubblicazione: (2022)

Structural Reductions and Stutter Sensitive Properties
di: Paviot-Adet, Emmanuel, et al.
Pubblicazione: (2022)

Finite maximal codes and factorizations of cyclic groups
di: De Felice, Clelia
Pubblicazione: (2022)

Constructing Concise Characteristic Samples for Acceptors of Omega Regular Languages
di: Angluin, Dana, et al.
Pubblicazione: (2022)