Copertina

A Regular and Complete Notion of Delay for Streaming String Transducers

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Filiot, Emmanuel, Jecker, Ismaël, Löding, Christof, Winter, Sarah
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)

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

Resynchronized Uniformization and Definability Problems for Rational Relations
di: Löding, Christof, et al.
Pubblicazione: (2021)

Synthesizing Computable Functions from Rational Specifications over Infinite Words
di: Filiot, Emmanuel, et al.
Pubblicazione: (2021)

Composing Copyless Streaming String Transducers
di: Alur, Rajeev, et al.
Pubblicazione: (2022)

Constructing Deterministic Parity Automata from Positive and Negative Examples
di: Bohn, León, et al.
Pubblicazione: (2023)

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

Saturation Problems for Families of Automata
di: Bohn, León, et al.
Pubblicazione: (2025)

Minimal History-Deterministic Co-Buchi Automata: Congruences and Passive Learning
di: Löding, Christof, et al.
Pubblicazione: (2025)

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

History-deterministic Parikh Automata
di: Erlich, Enzo, et al.
Pubblicazione: (2022)

Determinisation and Unambiguisation of Polynomially-Ambiguous Rational Weighted Automata
di: Jecker, Ismaël, et al.
Pubblicazione: (2023)

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

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

A Bit of Nondeterminism Makes Pushdown Automata Expressive and Succinct
di: Guha, Shibashis, et al.
Pubblicazione: (2021)

Synthesis of Computable Regular Functions of Infinite Words
di: Dave, V., et al.
Pubblicazione: (2019)

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

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

Reachability in 3-VASS is Elementary
di: Czerwiński, Wojciech, et al.
Pubblicazione: (2025)

Minimality Notions via Factorization Systems and Examples
di: Wißmann, Thorsten
Pubblicazione: (2022)

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)

On the Boolean Closure of Deterministic Top-Down Tree Automata
di: Löding, Christof, 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)

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

On Minimization and Learning of Deterministic $ω$-Automata in the Presence of Don't Care Words
di: Löding, Christof, et al.
Pubblicazione: (2022)

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

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)

An Automata-Based Approach to Games with $ω$-Automatic Preferences
di: Bruyère, Véronique, et al.
Pubblicazione: (2026)

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

You May Delay, but Time Will Not: Timed Games Under Delayed Control
di: Larsen, Kim G., et al.
Pubblicazione: (2025)

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

Decomposition of Automata recognizing Ideals
di: Berry, Mathias, et al.
Pubblicazione: (2026)

Completely Reachable Almost Group Automata
di: Torres, David Fernando Casas
Pubblicazione: (2024)

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

On the Expressive Power of Regular Expressions with Backreferences
di: Nogami, Taisei, et al.
Pubblicazione: (2023)

Regular Languages in the Sliding Window Model
di: Ganardi, Moses, et al.
Pubblicazione: (2024)