Image de couverture de livre

History-deterministic Parikh Automata

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Erlich, Enzo, Grobler, Mario, Guha, Shibashis, Jecker, Ismaël, Lehtinen, Karoliina, Zimmermann, Martin
Format:	Preprint
Publié:	2022
Sujets:	Formal Languages and Automata Theory
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

A Bit of Nondeterminism Makes Pushdown Automata Expressive and Succinct
par: Guha, Shibashis, et autres
Publié: (2021)

Token Games and History-Deterministic Quantitative-Automata
par: Boker, Udi, et autres
Publié: (2021)

The 2-Token Theorem: Recognising History-Deterministic Parity Automata Efficiently
par: Lehtinen, Karoliina, et autres
Publié: (2025)

History-deterministic Timed Automata
par: Bose, Sougata, et autres
Publié: (2023)

Deterministic Parikh automata on infinite words
par: Grobler, Mario, et autres
Publié: (2024)

Explorability in Pushdown Automata
par: Bedi, Ayaan, et autres
Publié: (2025)

Parikh Automata on Finite and Infinite Words
par: Grobler, Mario, et autres
Publié: (2023)

Kamp Theorem for Pomset Languages of Higher Dimensional Automata
par: Clement, Emily, et autres
Publié: (2024)

Algebraic Characterization of FO-definable Languages of Higher-Dimensional Automata
par: Erlich, Enzo, et autres
Publié: (2026)

Non-Global Parikh Tree Automata
par: Herrmann, Luisa, et autres
Publié: (2024)

Set Automata and Limits of Decidability of Two-Variable Logic on Data Words
par: Guha, Shibashis, et autres
Publié: (2026)

Determinisation and Unambiguisation of Polynomially-Ambiguous Rational Weighted Automata
par: Jecker, Ismaël, et autres
Publié: (2023)

Mostowski Index via extended register games
par: Idir, Olivier, et autres
Publié: (2024)

A Regular and Complete Notion of Delay for Streaming String Transducers
par: Filiot, Emmanuel, et autres
Publié: (2022)

Approximate Problems for Finite Transducers
par: Filiot, Emmanuel, et autres
Publié: (2025)

The complexity of separability for semilinear sets and Parikh automata
par: Collins, Elias Rojas, et autres
Publié: (2024)

Finite-valued Streaming String Transducers
par: Filiot, Emmanuel, et autres
Publié: (2024)

Decomposition of Automata recognizing Ideals
par: Berry, Mathias, et autres
Publié: (2026)

Star Complexity of Parikh Images of Languages over Infinite Alphabets
par: Danieli, Yoav
Publié: (2026)

History-Deterministic Büchi Automata are Succinct
par: Casares, Antonio, et autres
Publié: (2026)

From Muller to Parity and Rabin Automata: Optimal Transformations Preserving (History) Determinism
par: Casares, Antonio, et autres
Publié: (2023)

Using games and universal trees to characterise the nondeterministic index of tree languages
par: Idir, Olivier, et autres
Publié: (2025)

Checking History-Determinism is NP-hard for Parity Automata
par: Prakash, Keya
Publié: (2023)

Lookahead Games and Efficient Determinisation of History-Deterministic Büchi Automata
par: Acharya, Rohan, et autres
Publié: (2024)

On the Minimisation of Deterministic and History-Deterministic Generalised (co)Büchi Automata
par: Casares, Antonio, et autres
Publié: (2024)

Reachability in 3-VASS is Elementary
par: Czerwiński, Wojciech, et autres
Publié: (2025)

Mathematical Approach in Automata and Automata Association
par: Maciel, Sergio Henrique
Publié: (2020)

Input-Driven Pushdown Automata with Translucent Input Letters
par: Kutrib, Martin, et autres
Publié: (2025)

On Shuffling and Splitting Automata
par: Cunningham, Ignacio Mollo
Publié: (2024)

Explorable Parity Automata
par: Hazard, Emile, et autres
Publié: (2024)

Automata on Graph Alphabets
par: Bazille, Hugo, et autres
Publié: (2026)

Quantitative Language Automata
par: Henzinger, Thomas A., et autres
Publié: (2025)

Asynchronism in Cellular Automata
par: Gautam, Virendra Kumar
Publié: (2025)

Non-deterministic asynchronous automata games and their undecidability
par: Adsul, Bharat, et autres
Publié: (2024)

Attractors of Parikh mapping iterations
par: Chunikhin, Alexander
Publié: (2024)

Parikh's Theorem Made Symbolic
par: Hague, Matthew, et autres
Publié: (2023)

Pumping-Like Results for Copyless Cost Register Automata and Polynomially Ambiguous Weighted Automata
par: Mazowiecki, Filip, et autres
Publié: (2025)

You May Delay, but Time Will Not: Timed Games Under Delayed Control
par: Larsen, Kim G., et autres
Publié: (2025)

Simulations for Event-Clock Automata
par: Akshay, S, et autres
Publié: (2022)

Localising Stochasticity in Weighted Automata
par: Agarwal, Smayan, et autres
Publié: (2026)