Displaying similar documents to “Some algorithms to compute the conjugates of episturmian morphisms”

About the decision of reachability for register machines

Véronique Cortier (2002)

RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications

Similarity:

We study the decidability of the following problem: given p affine functions f 1 , ... , f p over k and two vectors v 1 , v 2 k , is v 2 reachable from v 1 by successive iterations of f 1 , ... , f p (in this given order)? We show that this question is decidable for p = 1 , 2 and undecidable for some fixed p .

Endomorphic cuts and tails

Karel Čuda, Athanossios Tzouvaras (1987)

Commentationes Mathematicae Universitatis Carolinae

Similarity: