Buchumschlag

Explorability in Pushdown Automata

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Bedi, Ayaan, Lehtinen, Karoliina
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Formal Languages and Automata Theory Computation and Language
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

A Bit of Nondeterminism Makes Pushdown Automata Expressive and Succinct
von: Guha, Shibashis, et al.
Veröffentlicht: (2021)

Token Games and History-Deterministic Quantitative-Automata
von: Boker, Udi, et al.
Veröffentlicht: (2021)

The 2-Token Theorem: Recognising History-Deterministic Parity Automata Efficiently
von: Lehtinen, Karoliina, et al.
Veröffentlicht: (2025)

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

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

History-deterministic Timed Automata
von: Bose, Sougata, et al.
Veröffentlicht: (2023)

Input-Driven Pushdown Automata with Translucent Input Letters
von: Kutrib, Martin, et al.
Veröffentlicht: (2025)

The No Endmarker Theorem for One-Way Probabilistic Pushdown Automata
von: Yamakami, Tomoyuki
Veröffentlicht: (2021)

Unambiguous and Co-Nondeterministic Computations of Finite Automata and Pushdown Automata Families and the Effects of Multiple Counters
von: Yamakami, Tomoyuki
Veröffentlicht: (2024)

Mostowski Index via extended register games
von: Idir, Olivier, et al.
Veröffentlicht: (2024)

Reachability in Trace-Pushdown Systems
von: Köcher, Chris, et al.
Veröffentlicht: (2025)

A Bionic Natural Language Parser Equivalent to a Pushdown Automaton
von: Wei, Zhenghao, et al.
Veröffentlicht: (2024)

Reachability in One-Dimensional Pushdown Vector Addition Systems is Decidable
von: Bizière, Clotilde, et al.
Veröffentlicht: (2024)

Visibly Pushdown Languages in Groups
von: Ciobanu, Laura, et al.
Veröffentlicht: (2026)

Visual Execution and Validation of Finite-State Machines and Pushdown Automata
von: Morazán, Marco T., et al.
Veröffentlicht: (2025)

Using games and universal trees to characterise the nondeterministic index of tree languages
von: Idir, Olivier, et al.
Veröffentlicht: (2025)

V-Star: Learning Visibly Pushdown Grammars from Program Inputs
von: Jia, Xiaodong, et al.
Veröffentlicht: (2024)

Monitorability for the Modal mu-Calculus over Systems with Data: From Practice to Theory
von: Aceto, Luca, et al.
Veröffentlicht: (2025)

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

Automata-based constraints for language model decoding
von: Koo, Terry, et al.
Veröffentlicht: (2024)

Continuous Pushdown VASS in One Dimension are Easy
von: Perez, Guillermo A., et al.
Veröffentlicht: (2024)

From Muller to Parity and Rabin Automata: Optimal Transformations Preserving (History) Determinism
von: Casares, Antonio, et al.
Veröffentlicht: (2023)

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)

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

Pumping-Like Results for Copyless Cost Register Automata and Polynomially Ambiguous Weighted Automata
von: Mazowiecki, Filip, et al.
Veröffentlicht: (2025)

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

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

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)

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)

Simulation Limitations of Affine Cellular Automata
von: Hudcová, Barbora, et al.
Veröffentlicht: (2023)