The cyclicity problem for the images of Q-rational series
Juha Honkala (2011)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
We show that it is decidable whether or not a given Q-rational series in several noncommutative variables has a cyclic image. By definition, a series has a cyclic image if there is a rational number such that all nonzero coefficients of are integer powers of .