About the decision of reachability for register machines
Véronique Cortier (2010)
RAIRO - Theoretical Informatics and Applications
Similarity:
We study the decidability of the following problem: given affine functions ƒ,...,ƒ over and two vectors , is reachable from by successive iterations of ƒ,...,ƒ (in this given order)? We show that this question is decidable for and undecidable for some fixed .