Buchumschlag

Minimizing Streaming String Transducers: An algebraic approach

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Benalioua, Yahia Idriss, Lhote, Nathan, Reynier, Pierre-Alain
Format:	Preprint
Veröffentlicht:	2026
Schlagworte:	Formal Languages and Automata Theory
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Minimizing Cost Register Automata over a Field
von: Benalioua, Yahia Idriss, et al.
Veröffentlicht: (2023)

Finite-valued Streaming String Transducers
von: Filiot, Emmanuel, et al.
Veröffentlicht: (2024)

Composing Copyless Streaming String Transducers
von: Alur, Rajeev, et al.
Veröffentlicht: (2022)

Lexicographic transductions of finite words
von: Filiot, Emmanuel, et al.
Veröffentlicht: (2025)

A Regular and Complete Notion of Delay for Streaming String Transducers
von: Filiot, Emmanuel, et al.
Veröffentlicht: (2022)

Minimization of Streaming Transducers
von: Bianchini, Christian, et al.
Veröffentlicht: (2026)

Certified Symbolic Finite Transducers: Formalization and Applications to String Analysis
von: Kan, Shuanglong, et al.
Veröffentlicht: (2025)

Expregular functions
von: Colcombet, Thomas, et al.
Veröffentlicht: (2026)

Reversible Pebble Transducers
von: Dartois, Luc, et al.
Veröffentlicht: (2025)

Approximate Problems for Finite Transducers
von: Filiot, Emmanuel, et al.
Veröffentlicht: (2025)

Attributed Tree Transducers for Partial Functions
von: Maneth, Sebastian, et al.
Veröffentlicht: (2024)

Reversible Transducers over Infinite Words
von: Dartois, Luc, et al.
Veröffentlicht: (2024)

String Solving with Stabilization and Transducers (Technical Report)
von: Chocholatý, David, et al.
Veröffentlicht: (2026)

Active Learning of Deterministic Transducers with Outputs in Arbitrary Monoids
von: Aristote, Quentin
Veröffentlicht: (2024)

The structure of polynomial growth for tree automata/transducers and MSO set queries
von: Gallot, Paul, et al.
Veröffentlicht: (2025)

Deciding Linear Height and Linear Size-to-Height Increase for Macro Tree Transducers
von: Gallot, Paul, et al.
Veröffentlicht: (2023)

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

Transducing Language Models
von: Snæbjarnarson, Vésteinn, et al.
Veröffentlicht: (2026)

A Diamond Structure in the Transducer Hierarchy
von: Kaufmann, Noah
Veröffentlicht: (2021)

Transformers as Transducers
von: Strobl, Lena, et al.
Veröffentlicht: (2024)

Cayley Automatic Groups and Numerical Characteristics of Turing Transducers
von: Berdinsky, Dmitry
Veröffentlicht: (2016)

Synthesis of Computable Regular Functions of Infinite Words
von: Dave, V., et al.
Veröffentlicht: (2019)

WEX: Formal Specifications for Windows in Stream Processing
von: Hitarth, S, et al.
Veröffentlicht: (2022)

Hyper-Minimization for Deterministic Register Automata
von: Li, Yong, et al.
Veröffentlicht: (2026)

Commutative algebras of series
von: Clemente, Lorenzo
Veröffentlicht: (2026)

Minimality Notions via Factorization Systems and Examples
von: Wißmann, Thorsten
Veröffentlicht: (2022)

Optimal Approximate Minimization of One-Letter Weighted Finite Automata
von: Lacroce, Clara, et al.
Veröffentlicht: (2023)

Completeness Theorems for Kleene algebra with tests and top
von: Pous, Damien, et al.
Veröffentlicht: (2023)

An Automata-Based Method to Formalize Psychological Theories -- The Case Study of Lazarus and Folkman's Stress Theory
von: Finkel, Alain, et al.
Veröffentlicht: (2025)

Monads, Comonads, and Transducers
von: Stefański, Rafał
Veröffentlicht: (2024)

Context-Free Languages of String Diagrams
von: Earnshaw, Matt, et al.
Veröffentlicht: (2024)

Well-Behaved (Co)algebraic Semantics of Regular Expressions in Dafny
von: Zetzsche, Stefan, et al.
Veröffentlicht: (2024)

Decision Procedure for A Theory of String Sequences
von: Hu, Denghang, et al.
Veröffentlicht: (2025)

Congruence based proofs of the recognizability theorems for free many-sorted algebras
von: Vidal, Juan Climent, et al.
Veröffentlicht: (2018)

Conway's cosmological theorem and automata theory
von: Lairez, Pierre, et al.
Veröffentlicht: (2024)

Shape Preserving Tree Transducers
von: Gallot, Paul, et al.
Veröffentlicht: (2025)

Soundness of reset workflow nets
von: Blondin, Michael, et al.
Veröffentlicht: (2025)

Efficiently Finding All Minimal and Shortest Absent Subsequences in a String
von: Manea, Florin, et al.
Veröffentlicht: (2025)

Characterization of deterministically recognizable weighted tree languages over commutative semifields by finitely generated and cancellative scalar algebras
von: Fülöp, Zoltán, et al.
Veröffentlicht: (2025)

Simulation by Rounds of Letter-to-Letter Transducers
von: Nassar, Antonio Abu, et al.
Veröffentlicht: (2021)