Reachability Problem for Weak Multi-Pushdown Automata
Logic in Computer Science
2015-07-01 v3 Formal Languages and Automata Theory
Abstract
This paper is about reachability analysis in a restricted subclass of multi-pushdown automata. We assume that the control states of an automaton are partially ordered, and all transitions of an automaton go downwards with respect to the order. We prove decidability of the reachability problem, and computability of the backward reachability set. As the main contribution, we identify relevant subclasses where the reachability problem becomes NP-complete. This matches the complexity of the same problem for communication-free vector addition systems, a special case of stateless multi-pushdown automata.
Keywords
Cite
@article{arxiv.1308.3996,
title = {Reachability Problem for Weak Multi-Pushdown Automata},
author = {Wojciech Czerwiński and Piotr Hofman and SŁawomir Lasota},
journal= {arXiv preprint arXiv:1308.3996},
year = {2015}
}