Minimizing Cost Register Automata over a Field
Fuente:
arXiv
Saved in:
| Main Authors: | Benalioua, Yahia Idriss, Lhote, Nathan, Reynier, Pierre-Alain |
|---|---|
| Format: | Preprint |
| Published: |
2023
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
Minimizing Streaming String Transducers: An algebraic approach
by: Benalioua, Yahia Idriss, et al.
Published: (2026)
by: Benalioua, Yahia Idriss, et al.
Published: (2026)
Hyper-Minimization for Deterministic Register Automata
by: Li, Yong, et al.
Published: (2026)
by: Li, Yong, et al.
Published: (2026)
Lexicographic transductions of finite words
by: Filiot, Emmanuel, et al.
Published: (2025)
by: Filiot, Emmanuel, et al.
Published: (2025)
Pumping-Like Results for Copyless Cost Register Automata and Polynomially Ambiguous Weighted Automata
by: Mazowiecki, Filip, et al.
Published: (2025)
by: Mazowiecki, Filip, et al.
Published: (2025)
Scalable Tree-based Register Automata Learning
by: Dierl, Simon, et al.
Published: (2024)
by: Dierl, Simon, et al.
Published: (2024)
Expregular functions
by: Colcombet, Thomas, et al.
Published: (2026)
by: Colcombet, Thomas, et al.
Published: (2026)
Cost Automata, Safe Schemes, and Downward Closures
by: Barozzini, David, et al.
Published: (2020)
by: Barozzini, David, et al.
Published: (2020)
Optimal Approximate Minimization of One-Letter Weighted Finite Automata
by: Lacroce, Clara, et al.
Published: (2023)
by: Lacroce, Clara, et al.
Published: (2023)
The Quadratic State Cost of Classical Simulation of One-Way Quantum Finite Automata
by: Chen, Zeyu, et al.
Published: (2026)
by: Chen, Zeyu, et al.
Published: (2026)
Learning Weighted Automata over Number Rings, Concretely and Categorically
by: Aristote, Quentin, et al.
Published: (2025)
by: Aristote, Quentin, et al.
Published: (2025)
An Automata-Based Method to Formalize Psychological Theories -- The Case Study of Lazarus and Folkman's Stress Theory
by: Finkel, Alain, et al.
Published: (2025)
by: Finkel, Alain, et al.
Published: (2025)
Mathematical Approach in Automata and Automata Association
by: Maciel, Sergio Henrique
Published: (2020)
by: Maciel, Sergio Henrique
Published: (2020)
Reversible Weighted Automata over Finite Rings and Monoids with Commuting Idempotents
by: Kostolányi, Peter, et al.
Published: (2026)
by: Kostolányi, Peter, et al.
Published: (2026)
The structure of polynomial growth for tree automata/transducers and MSO set queries
by: Gallot, Paul, et al.
Published: (2025)
by: Gallot, Paul, et al.
Published: (2025)
On Shuffling and Splitting Automata
by: Cunningham, Ignacio Mollo
Published: (2024)
by: Cunningham, Ignacio Mollo
Published: (2024)
Explorable Parity Automata
by: Hazard, Emile, et al.
Published: (2024)
by: Hazard, Emile, et al.
Published: (2024)
Automata on Graph Alphabets
by: Bazille, Hugo, et al.
Published: (2026)
by: Bazille, Hugo, et al.
Published: (2026)
Quantitative Language Automata
by: Henzinger, Thomas A., et al.
Published: (2025)
by: Henzinger, Thomas A., et al.
Published: (2025)
Asynchronism in Cellular Automata
by: Gautam, Virendra Kumar
Published: (2025)
by: Gautam, Virendra Kumar
Published: (2025)
Learning EFSM Models with Registers in Guards
by: Vega, Germán, et al.
Published: (2024)
by: Vega, Germán, et al.
Published: (2024)
Localising Stochasticity in Weighted Automata
by: Agarwal, Smayan, et al.
Published: (2026)
by: Agarwal, Smayan, et al.
Published: (2026)
History-deterministic Parikh Automata
by: Erlich, Enzo, et al.
Published: (2022)
by: Erlich, Enzo, et al.
Published: (2022)
Saturation Problems for Families of Automata
by: Bohn, León, et al.
Published: (2025)
by: Bohn, León, et al.
Published: (2025)
Nominal Automata with Name Deallocation
by: Prucker, Simon, et al.
Published: (2026)
by: Prucker, Simon, et al.
Published: (2026)
Determinism in Multi-Soliton Automata
by: Bordihn, Henning, et al.
Published: (2024)
by: Bordihn, Henning, et al.
Published: (2024)
Simulations for Event-Clock Automata
by: Akshay, S, et al.
Published: (2022)
by: Akshay, S, et al.
Published: (2022)
Unambiguisability and Register Minimisation of Min-Plus Models
by: Almagor, Shaull, et al.
Published: (2025)
by: Almagor, Shaull, et al.
Published: (2025)
On the Simulation Cost of Quantum Finite Automata
by: Chen, Zeyu, et al.
Published: (2026)
by: Chen, Zeyu, et al.
Published: (2026)
Simulation Limitations of Affine Cellular Automata
by: Hudcová, Barbora, et al.
Published: (2023)
by: Hudcová, Barbora, et al.
Published: (2023)
Safety and Liveness of Quantitative Properties and Automata
by: Boker, Udi, et al.
Published: (2023)
by: Boker, Udi, et al.
Published: (2023)
Adding Reconfiguration to Zielonka's Asynchronous Automata
by: Lehaut, Mathieu, et al.
Published: (2023)
by: Lehaut, Mathieu, et al.
Published: (2023)
Weighted Tree Automata -- May it be a little more?
by: Fülöp, Zoltán, et al.
Published: (2022)
by: Fülöp, Zoltán, et al.
Published: (2022)
Finite Automata for Efficient Graph Recognition
by: Drewes, Frank, et al.
Published: (2024)
by: Drewes, Frank, et al.
Published: (2024)
Universality Frontier for Asynchronous Cellular Automata
by: Baburin, Ivan, et al.
Published: (2025)
by: Baburin, Ivan, et al.
Published: (2025)
History-Deterministic Büchi Automata are Succinct
by: Casares, Antonio, et al.
Published: (2026)
by: Casares, Antonio, et al.
Published: (2026)
QuAK: Quantitative Automata Kit
by: Chalupa, Marek, et al.
Published: (2024)
by: Chalupa, Marek, et al.
Published: (2024)
Learning Event-recording Automata Passively
by: Majumdar, Anirban, et al.
Published: (2025)
by: Majumdar, Anirban, et al.
Published: (2025)
Classifying Words with 3-sort Automata
by: Jastrząb, Tomasz, et al.
Published: (2024)
by: Jastrząb, Tomasz, et al.
Published: (2024)
Automata for the commutative closure of regular sets
by: Becher, Verónica, et al.
Published: (2025)
by: Becher, Verónica, et al.
Published: (2025)
Corrections to A Menagerie of Timed Automata
by: Keiren, Jeroen J. A., et al.
Published: (2016)
by: Keiren, Jeroen J. A., et al.
Published: (2016)
Similar Items
-
Minimizing Streaming String Transducers: An algebraic approach
by: Benalioua, Yahia Idriss, et al.
Published: (2026) -
Hyper-Minimization for Deterministic Register Automata
by: Li, Yong, et al.
Published: (2026) -
Lexicographic transductions of finite words
by: Filiot, Emmanuel, et al.
Published: (2025) -
Pumping-Like Results for Copyless Cost Register Automata and Polynomially Ambiguous Weighted Automata
by: Mazowiecki, Filip, et al.
Published: (2025) -
Scalable Tree-based Register Automata Learning
by: Dierl, Simon, et al.
Published: (2024)