Abstract
Rational functions of a free monoid A* into the free cyclic monoid t* generated by a unique element t, can be viewed as assigning an integer to every word u∈A*. We investigate those functions which count occurrences of some fixed (and special) subsets \(X \subseteq A^ *\) in all words of A* and show that they can be characterized in terms of "bounded variation", a notion which is close to continuity of functions.
Preview
Unable to display preview. Download preview PDF.
7. References
BERSTEL J., "Transductions and Context-Free Languages", Teubner, 1979
BERSTEL J., & D. PERRIN, "Theory of codes", 1985, Academic Press.
CHOFFRUT C., A generalization of Ginsburg and Rose's characterization of g-s-m mappings. Proceedings of the 6th ICALP Conférence, 1979, p. 88–103.
EILENBERG S., "Automata, Languages and Machines", Vol. A. 1974, Academic Press.
GINSBURG S. & G.F. ROSE, A characterization of machine mappings, Can. J. of Math., 18, 1986, p. 381–388.
JOHNSON J.H., Formal models for string similarity, PhD thesis, University of Waterloo, 1983 (also Research Report C8-83-32).
KNUTH D.E., "The Art of Computer Programming", Vol. 3., 1973, Addison-Wesley.
LALLEMENT G., "Semigroups and Combinatorial Applications", 1979, Wiley-Interscience.
NIVAT M., Transductions des langages de Chomsky, Ann. de l'Inst. Fourier, 18, 1986, p. 339–456.
SCHUTZENBERGER M.P., Sur les relations rationnelles entre monoïdes libres, Theoret. Comput. Sci., 3, 1976, p. 243–259.
SCHUTZENBERGER M.P., Sur une variante des fonctions séquentielles, Theoret. Comput. Sci., 4, 1977, p. 243–259.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1986 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Choffrut, C., Schutzenberger, M.P. (1986). Counting with rational functions. In: Kott, L. (eds) Automata, Languages and Programming. ICALP 1986. Lecture Notes in Computer Science, vol 226. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-16761-7_57
Download citation
DOI: https://doi.org/10.1007/3-540-16761-7_57
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-16761-7
Online ISBN: 978-3-540-39859-2
eBook Packages: Springer Book Archive