Buchumschlag

Pumping-Like Results for Copyless Cost Register Automata and Polynomially Ambiguous Weighted Automata

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Mazowiecki, Filip, Puch, Antoni, Smertnig, Daniel
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

Determinisation and Unambiguisation of Polynomially-Ambiguous Rational Weighted Automata
von: Jecker, Ismaël, et al.
Veröffentlicht: (2023)

Fine-Grained Complexity of Ambiguity Problems on Automata and Directed Graphs
von: Drabik, Karolina, et al.
Veröffentlicht: (2025)

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

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

Scalable Tree-based Register Automata Learning
von: Dierl, Simon, et al.
Veröffentlicht: (2024)

Localising Stochasticity in Weighted Automata
von: Agarwal, Smayan, et al.
Veröffentlicht: (2026)

Mathematical Approach in Automata and Automata Association
von: Maciel, Sergio Henrique
Veröffentlicht: (2020)

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

Weighted Automata and Regular Expressions for Financial Systems
von: Droste, Manfred, et al.
Veröffentlicht: (2026)

Cost Automata, Safe Schemes, and Downward Closures
von: Barozzini, David, et al.
Veröffentlicht: (2020)

Weighted Tree Automata -- May it be a little more?
von: Fülöp, Zoltán, et al.
Veröffentlicht: (2022)

From Trees to Tree-Like: Distribution and Synthesis for Asynchronous Automata
von: Lehaut, Mathieu, et al.
Veröffentlicht: (2026)

Probabilistic Programming Meets Automata Theory: Exact Inference using Weighted Automata
von: Geißler, Dominik, et al.
Veröffentlicht: (2025)

Learning Weighted Automata over Number Rings, Concretely and Categorically
von: Aristote, Quentin, et al.
Veröffentlicht: (2025)

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

A Complexity Bound for Determinisation of Min-Plus Weighted Automata
von: Almagor, Shaull, et al.
Veröffentlicht: (2026)

Quantitative Language Automata
von: Henzinger, Thomas A., et al.
Veröffentlicht: (2025)

Asynchronism in Cellular Automata
von: Gautam, Virendra Kumar
Veröffentlicht: (2025)

On Shuffling and Splitting Automata
von: Cunningham, Ignacio Mollo
Veröffentlicht: (2024)

Explorable Parity Automata
von: Hazard, Emile, et al.
Veröffentlicht: (2024)

Automata on Graph Alphabets
von: Bazille, Hugo, et al.
Veröffentlicht: (2026)

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

Finite Automata Encoding Piecewise Polynomials
von: Berdinsky, Dmitry, et al.
Veröffentlicht: (2021)

The Quadratic State Cost of Classical Simulation of One-Way Quantum Finite Automata
von: Chen, Zeyu, et al.
Veröffentlicht: (2026)

Saturation Problems for Families of Automata
von: Bohn, León, et al.
Veröffentlicht: (2025)

History-deterministic Parikh Automata
von: Erlich, Enzo, et al.
Veröffentlicht: (2022)

Nominal Automata with Name Deallocation
von: Prucker, Simon, et al.
Veröffentlicht: (2026)

Determinism in Multi-Soliton Automata
von: Bordihn, Henning, et al.
Veröffentlicht: (2024)

Simulations for Event-Clock Automata
von: Akshay, S, et al.
Veröffentlicht: (2022)

Automata Learning with an Incomplete but Inductive Teacher (Technical Report)
von: Stan, Daniel, et al.
Veröffentlicht: (2026)

Weighted Automata for Exact Inference in Discrete Probabilistic Programs
von: Geißler, Dominik, et al.
Veröffentlicht: (2025)

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

On the Simulation Cost of Quantum Finite Automata
von: Chen, Zeyu, et al.
Veröffentlicht: (2026)

Universality Frontier for Asynchronous Cellular Automata
von: Baburin, Ivan, et al.
Veröffentlicht: (2025)

Learning Event-recording Automata Passively
von: Majumdar, Anirban, et al.
Veröffentlicht: (2025)

Automata for the commutative closure of regular sets
von: Becher, Verónica, et al.
Veröffentlicht: (2025)

A Unifying Approach to Picture Automata
von: Meeres, Yvo Ad, et al.
Veröffentlicht: (2025)

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

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

History-Deterministic Büchi Automata are Succinct
von: Casares, Antonio, et al.
Veröffentlicht: (2026)