An Approach to Regular Separability in Vector Addition Systems

30 Jun 2020  ·  Czerwiński Wojciech, Zetzsche Georg ·

We study the problem of regular separability of languages of vector addition systems with states (VASS). It asks whether for two given VASS languages K and L, there exists a regular language R that includes K and is disjoint from L. While decidability of the problem in full generality remains an open question, there are several subclasses for which decidability has been shown: It is decidable for (i) one-dimensional VASS, (ii) VASS coverability languages, (iii) languages of integer VASS, and (iv) commutative VASS languages... We propose a general approach to deciding regular separability. We use it to decide regular separability of an arbitrary VASS language from any language in the classes (i), (ii), and (iii). This generalizes all previous results, including (iv). read more

PDF Abstract
No code implementations yet. Submit your code now

Categories


Formal Languages and Automata Theory Logic in Computer Science

Datasets


  Add Datasets introduced or used in this paper