On algorithmic and topological properties of orbits for piecewise-affine mappings

The open reachability problem for one dimensional piecewise-affine mappings with two intervals (2-PAM) is considered. Some decidability results following from the specific topological properties of reachable states of the 2-PAM's are given.