Abstract
Here is introduced an extension for infinite words of the classical notion of rational transduction. We prove that this extension has the important property of mapping the adherence of a language of finite words into the adherence of an other language of finite words. The set of such extensions is closed by composition and is exactly the family of the compositions of an inverse faithful sequential mapping and of a faithful sequential mapping.
Then we study the stability and principality with respect to these extensions, of a family of languages of infinite words, Adh (ℒ), defined as the set of the adherences of languages of finite words wich belong to a given family ℒ.
Preview
Unable to display preview. Download preview PDF.
References
Boasson L., "Un langage algébrique particulier", publication L.I.T.P no 78–7.
Boasson L. et Nivat M., "Adherences of languages", J. of Comp. Syst. Sciences, vol.20, No.3, Juin 1980, p.285–309.
Gabarro J., "Index rationnel, centres et langages algébriques", Thèse de troisième cycle, Juin 1981, Paris 6.
Latteux M., "Générateurs algébriques et linéaires", Acta Informatica 13, 347–363 (1980).
Nivat M., "Transductions des langages de Chomsky", Annales de l'institut Fourier 18, p. 339–456. (1968).
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1982 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Gire, F. (1982). Une extension aux mots infinis de la notion de transduction rationnelle. In: Cremers, A.B., Kriegel, HP. (eds) Theoretical Computer Science. Lecture Notes in Computer Science, vol 145. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0036475
Download citation
DOI: https://doi.org/10.1007/BFb0036475
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-11973-9
Online ISBN: 978-3-540-39421-1
eBook Packages: Springer Book Archive