Hostname: page-component-cd9895bd7-hc48f Total loading time: 0 Render date: 2024-12-28T16:24:49.716Z Has data issue: false hasContentIssue false
  • English
  • Français

The cyclicity problem for the images of Q-rational series

Published online by Cambridge University Press:  22 August 2011

Juha Honkala
Juha Honkala*
Affiliation:
Department of Mathematics, University of Turku, 20014 Turku, Finland. juha.honkala@utu.fi
Get access

Abstract

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 r has a cyclic image if there is a rational number q such that all nonzero coefficients of r are integer powers of q.

Keywords

Rational seriesimages of rational seriesdecidability
Type
Research Article
Information
RAIRO - Theoretical Informatics and Applications , Volume 45 , Issue 4 , November 2011 , pp. 375 - 381
Copyright
© EDP Sciences 2011

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

Références

J. Berstel and C. Reutenauer, Rational Series and Their Languages. Springer, Berlin (1988).
J. Berstel and C. Reutenauer, Noncommutative Rational Series with Applications. Cambridge University Press, Cambridge (2011).
Jacob, G., La finitude des représentations linéaires des semi-groupes est décidable. J. Algebra 52 (1978) 437–459. Google Scholar
Polya, G., Arithmetische Eigenschaften der Reihenentwicklungen rationaler Funktionen. J. Reine Angew. Math. 151 (1921) 1–31. Google Scholar
A. Salomaa and M. Soittola, Automata-Theoretic Aspects of Formal Power Series. Springer, Berlin (1978).
Schützenberger, M.-P., On the definition of a family of automata, Inf. Control 4 (1961) 245–270. Google Scholar