On the Reachability Problem for 5-Dimensional Vector Addition Systems.
CORNELL UNIV ITHACA N Y DEPT OF COMPUTER SCIENCE
Pagination or Media Count:
The reachability set for vector addition systems of dimension less than equal to five are shown to be effectively computable semilinear sets. Thus reachability, equivalence and containment are decidable up to dimension 5. An example of a non-semilinear reachability set is given for dimension 6.
- Theoretical Mathematics