Abstract
We prove that cyclic languages are the boolean closure of languages called strongly cyclic languages. The result is used to give another proof of the rationality of the zeta function of rational cyclic languages.
This is a preview of subscription content, log in via an institution.
Preview
Unable to display preview. Download preview PDF.
References
Marie-Pierre Béal. Codage symbolique. Masson, 1993.
Marie-Pierre Béal. Puissance extérieure d'un automate déterministe, application au calcul de la fonction zêta d'un système sofique. R.A.I.R.O.-Informatique Théorique et Applications, 29(2):85–103, 1995.
Rufus Bowen. Symbolic dynamics. In On axiom A diffeomorphism, number 35 in CBMS Reg. Conf. American Mathematical Society, 1978.
Jean Berstel and Dominique Perrin. Theory of codes. Academic Press, 1984.
Jean Berstel and Christophe Reutenauer. Zeta functions of formal languages. Trans. Amer. Math. Soc., 321:533–546, 1990.
Olivier Carton. Mots infinis, ω-semigroupes et topologie. Thèse, Université Paris 7, 1993. Rapport LITP-TH 93-08.
S. Eilenberg. Automata, languages and machines, volume A. Academic Press, New York, 1972.
Gérard Lallement. Semigroups and combinatorial applications. Wiley, 1979.
A. Manning. Axiom A diffeomorphisms have rationnal zeta fonctions. Bull. London Math. Soc., 3:215–220, 1971.
Jean-Eric Pin. Varieties of formal languages. North Oxford, London and Plenum, New-York, 1986. (Traduction de Variétés de langages formels).
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1996 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Béal, M.P., Carton, O., Reutenauer, C. (1996). Cyclic languages and strongly cyclic languages. In: Puech, C., Reischuk, R. (eds) STACS 96. STACS 1996. Lecture Notes in Computer Science, vol 1046. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-60922-9_5
Download citation
DOI: https://doi.org/10.1007/3-540-60922-9_5
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-60922-3
Online ISBN: 978-3-540-49723-3
eBook Packages: Springer Book Archive