On the Reachability Problem for One-Dimensional Thin Grammar Vector Addition Systems

Chengfeng Xue, Yuxi Fu

Vector addition systems with states (VASS) are a classic model in concurrency theory. Grammar vector addition systems (GVAS), equivalently, pushdown VASS, extend VASS by using a co…