Language Equivalence is Undecidable in VASS with Restricted Nondeterminism
Published: Oct 24, 2025
Last Updated: Oct 24, 2025
Authors:Wojciech Czerwiński, Łukasz Orlikowski
Abstract
In this work, we extend undecidability of language equivalence for two-dimensional Vector Addition System with States (VASS) accepting by coverability condition. We show that the problem is undecidable even when one of the two-dimensional VASSs is deterministic and the other is history-deterministic. Moreover, we observe, that the languages of two history-deterministic VASSs are equal if and only if each can simulate the other. This observation allows us to extend the undecidability to any equivalence relation between two-sided simulation and language equivalence.