Accession Number:

ADA028030

Title:

On the Reachability Problem for 5-Dimensional Vector Addition Systems.

Descriptive Note:

Technical rept.,

Corporate Author:

CORNELL UNIV ITHACA N Y DEPT OF COMPUTER SCIENCE

Personal Author(s):

Report Date:

1976-06-01

Pagination or Media Count:

48.0

Abstract:

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.

Subject Categories:

  • Theoretical Mathematics

Distribution Statement:

APPROVED FOR PUBLIC RELEASE