Laboratoire Spécification et Vérification, École Normale Supérieure de Cachan, CNRS, 61 avenue du Président Wilson, 94230 Cachan, France; firstname.lastname@example.org.
We study the decidability of the following problem: given p affine functions ƒ1,...,ƒp over and two vectors , is v 2 reachable from v 1 by successive iterations of ƒ1,...,ƒp (in this given order)? We show that this question is decidable for p = 1, 2 and undecidable for some fixed p.
(Received May 2001)
(Accepted October 2002)
(Online publication February 15 2003)
Mathematics Subject Classification: