Résumé
Dans cet article, on étudie les rapports entre la principauté d'une famille de langages en tant que cylindre et en tant que famille fermée par application séquentielle gauche (gsm) inverse. Pour cela on considère les familles de langages closes pour les opérations de cylindre et les gsm inverses. On montre qu'une telle famille est principale en tant que cylindre seulement si elle est principale vis à vis des gsm inverses, mais que l'inverse n'est pas vrai. Cependant, si l'on se restreint aux familles de langages vérifiant une propriété de clôture que l'on explicite, on obtient cette réciproque.
Abstract
In this paper, the relations between the principality of a family of languages as a cylinder and its principality as family closed under inverse gsm mappings are studied. For that purpose, the families of languages closed under the operations of cylinder and under inverse gsm mappings are considered. It is shown that such a family is a principal cylinder only if it is principal through the operation of inverse gsm mapping, but that the converse is not true. However, the converse is true for the families satisfying a closure property given here.
Références
Autebert, J-M.: Non-principalité du cylindre des langages à compteur, Mathematical Systems Theory 11, 157–167 (1977)
Autebert, J-M.: The AFDL of deterministic realtime context-free languages is principal, soumis à publication
Boasson, L.: Cônes Rationnels et Familles Agréables de Langages. Application aux Langages à Compteur, Thèse de 3ème cycle de Paris VII, 1971
Boasson, L., Nivat, M.: Sur diverses familles de langages fermées par transduction rationnelle, Acta Informatica 2, 180–188 (1973)
Boasson, L., Nivat, M.: Le cylindre des langages linéaires, Mathematical Systems Theory 11, 147–155 (1977)
Chandler, W.J.: Abstract families of deterministic languages, Proc. 1st ACM Conf. on Theory of Computing, Marina del Rey, Calif., p. 21–30 (1969)
Eilenberg, S.: Communication au Congrès International des Mathématiciens, Nice, 1970
Elgot, C.C., Mezei, J.E.: On relations defined by generalized finite automata, IBM Journal of Research and Development 9, 47–68 (1962)
Ginsburg, S.: The Mathematical Theory of Context-free Languages, McGraw-Hill, New York, 1966
Ginsburg, S., Goldstine, J.: On the largest full sub-AFL of an AFL, Math. System Theory 6, 241–242 (1972)
Ginsburg, S., Greibach, S.A.: Abstract Families of Languages, in Studies in Abstract Families of Languages, Memoirs of the Amer. Math. Soc. 87, 1–32 (1969)
Ginsburg, S., Greibach, S.A.: Principal AFL, J. Comput. System Sci. 4, 308–338 (1970)
Greibach, S.A.: Chains of full AFL's, Math. System Theory 4, 231–242 (1970)
Greibach, S.A.: The hardest C.F. language, SIAM Journal on Computing 2, 304–310 (1973)
Greibach, S.A.: Jump PDA's and hierarchies of deterministic C.F. languages, SIAM Journal on Computing 3, 111–127 (1974)
Nivat, M.: Transductions des Langages de Chomsky, Annales de l'Institut Fourier 18, 339–456 (1968)
Salomaa, A.: Formal Languages, Academic Press, New York, 1973
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Autebert, JM. Opérations de cylindre et applications séquentielles gauches inverses. Acta Informatica 11, 241–258 (1979). https://doi.org/10.1007/BF00289070
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF00289070