On the Reachability Problem for Persistent Vector Replacement Systems

H Müller

doi:10.1007/978-3-7091-8596-4_6

On the Reachability Problem for Persistent Vector Replacement Systems

H Müller

https://doi.org/10.1007/978-3-7091-8596-4_6

Copy DOI

Publication Date: Jan 1, 1981

Citations: 11

Affiliation: University of Erlangen-Nuremberg

#Representation Of Set #Vector Replacement Systems + Show 3 more

Abstract
Full-Text PDF
Similar Papers

Abstract

On the Reachability Problem for Persistent Vector Replacement Systems. The reachability problem for persistent vector replacement systems is shown to be decidable by giving an algorithm for constructing a semilinear representation of the reachability set.

Full Text