Multi-buffer simulations: Decidability and complexity

Abstract : Multi-buffer simulation is a refinement of fair simulation between two nonde-terministic B ¨ uchi automata (NBA). It is characterised by a game in which letters get pushed to and taken from FIFO buffers of bounded or unbounded capacity. Games with a single buffer approximate the PSPACE-complete language inclusion problem for NBA. With multiple buffers and a fixed mapping of letters to buffers these games approximate the undecidable inclusion problem between Mazurkiewicz trace languages. We study the decidability and complexity of multi-buffer simulations and obtain the following results: P-completeness for fixed bounded buffers, EXPTIME-completeness in case of a single unbounded buffer and high undecidability (in the analytic hierarchy) with two buffers of which at least one is unbounded. We also consider a variant in which the buffers are kept untouched or flushed and show PSPACE-completeness for the single-buffer case.
Type de document :
Article dans une revue
Information and Computation, Elsevier, 2018, 262, pp.280 - 310. 〈10.1016/j.ic.2018.09.008〉
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01920584
Contributeur : Etienne Lozes <>
Soumis le : mardi 13 novembre 2018 - 13:17:36
Dernière modification le : mercredi 28 novembre 2018 - 01:14:01

Fichier

main.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Citation

Milka Hutagalung, Norbert Hundeshagen, Dietrich Kuske, Martin Lange, Etienne Lozes. Multi-buffer simulations: Decidability and complexity. Information and Computation, Elsevier, 2018, 262, pp.280 - 310. 〈10.1016/j.ic.2018.09.008〉. 〈hal-01920584〉

Partager

Métriques

Consultations de la notice

24

Téléchargements de fichiers

8