Buchumschlag

Certified Symbolic Finite Transducers: Formalization and Applications to String Analysis

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Kan, Shuanglong, Lin, Anthony W.
Format:	Preprint
Veröffentlicht:	2025
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

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)

Minimizing Streaming String Transducers: An algebraic approach
von: Benalioua, Yahia Idriss, et al.
Veröffentlicht: (2026)

Approximate Problems for Finite Transducers
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)

Reversible Pebble Transducers
von: Dartois, Luc, 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)

The Power of Hard Attention Transformers on Data Sequences: A Formal Language Theoretic Perspective
von: Bergsträßer, Pascal, et al.
Veröffentlicht: (2024)

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

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)

Formalized Run-Time Analysis of Active Learning -- Coalgebraically in Agda
von: Wißmann, Thorsten
Veröffentlicht: (2026)

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

Parikh's Theorem Made Symbolic
von: Hague, Matthew, et al.
Veröffentlicht: (2023)

Active Learning of Symbolic Mealy Automata
von: Irie, Kengo, et al.
Veröffentlicht: (2025)

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

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

A Formal Approach for Tuning Stochastic Oscillators
von: Ballarini, Paolo, et al.
Veröffentlicht: (2024)

Closure Properties of General Grammars -- Formally Verified
von: Dvorak, Martin, et al.
Veröffentlicht: (2023)

A General Information Extraction Framework Based on Formal Languages
von: Schmid, Markus L.
Veröffentlicht: (2025)

A Unified Model for Real-Time Systems: Symbolic Techniques and Implementation
von: Akshay, S, et al.
Veröffentlicht: (2023)

Finite Automata for Efficient Graph Recognition
von: Drewes, Frank, et al.
Veröffentlicht: (2024)

Repetitive Finite Automata With Translucent Letters
von: Mráz, František, et al.
Veröffentlicht: (2024)

Automated Formal Verification of Area-Optimized Safety Registers in Automotive SoCs
von: Zhang, Shuhang, et al.
Veröffentlicht: (2025)

Finite maximal codes and factorizations of cyclic groups
von: De Felice, Clelia
Veröffentlicht: (2022)

Descriptional Complexity of Finite Automata -- Selected Highlights
von: Salomaa, Arto, et al.
Veröffentlicht: (2023)

Measure Many Quantum Finite Automata on Infinite Words
von: Midya, Abhisek, et al.
Veröffentlicht: (2026)

Fast and General Automatic Differentiation for Finite-State Methods
von: Yang, Lucas Ondel, et al.
Veröffentlicht: (2026)

Efficient Constructions of Finite-State Independent Normal Pairs
von: Pulari, Subin
Veröffentlicht: (2026)

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)

Mind the Gap: A Formal Investigation of the Relationship Between Log and Model Complexity -- Extended Version
von: Schalk, Patrizia, et al.
Veröffentlicht: (2025)

Semiflows, Home Spaces, and Home States, Applications to the Analysis of Parameterized Petri Nets
von: Memmi, Gerard
Veröffentlicht: (2025)

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

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

Reversible Weighted Automata over Finite Rings and Monoids with Commuting Idempotents
von: Kostolányi, Peter, et al.
Veröffentlicht: (2026)

Mata, a Fast and Simple Finite Automata Library (Technical Report)
von: Chocholatý, David, et al.
Veröffentlicht: (2023)