Universality Problem for Unambiguous VASS - Archive ouverte HAL
Pré-Publication, Document De Travail Année : 2020

Universality Problem for Unambiguous VASS

Résumé

We study languages of unambiguous VASS, that is, Vector Addition Systems with States, whose transitions read letters from a finite alphabet, and whose acceptance condition is defined by a set of final states (i.e., the coverability language). We show that the problem of universality for unambiguous VASS is ExpSpace-complete, in sheer contrast to Ackermann-completeness for arbitrary VASS, even in dimension 1. When the dimension d is fixed, the universality problem is PSpace-complete if d ≥ 2, and coNP-hard for 1-dimensional VASS (also known as One Counter Nets).
Fichier principal
Vignette du fichier
main.pdf (1.69 Mo) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02483495 , version 1 (18-02-2020)
hal-02483495 , version 2 (19-05-2020)
hal-02483495 , version 3 (17-07-2020)

Identifiants

  • HAL Id : hal-02483495 , version 2

Citer

Wojciech Czerwiński, Diego Figueira, Piotr Hofman. Universality Problem for Unambiguous VASS. 2020. ⟨hal-02483495v2⟩
130 Consultations
147 Téléchargements

Partager

More