Opérations de cylindre et applications séquentielles gauches inverses

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.AbstractIn 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.

[1]  Jean-Michel Autebert,et al.  Non-prinicipalité du cylindre des langages à compteur , 1977, Mathematical systems theory.

[2]  Seymour Ginsburg,et al.  The mathematical theory of context free languages , 1966 .

[3]  Maurice Nivat,et al.  Le cylindre des langages linéaires , 2005, Mathematical systems theory.

[4]  Maurice Nivat,et al.  Transduction des langages de Chomsky , 1968 .

[5]  Sheila A. Greibach,et al.  The Hardest Context-Free Language , 1973, SIAM J. Comput..

[6]  Seymour Ginsburg,et al.  Abstract Families of Languages , 1967, SWAT.

[7]  Seymour Ginsburg,et al.  On the Largest Full SubAFL of an AFL , 1972, Math. Syst. Theory.

[8]  Seymour Ginsburg,et al.  Principal AFL , 1970, J. Comput. Syst. Sci..

[9]  Seymour Ginsburg,et al.  Studies In Abstract Families Of Languages , 1969 .

[10]  Jorge E. Mezei,et al.  On Relations Defined by Generalized Finite Automata , 1965, IBM J. Res. Dev..

[11]  Maurice Nivat,et al.  Sur diverses familles de langages fermées par transduction rationnelle , 2004, Acta Informatica.

[12]  Arto Salomaa,et al.  Formal languages , 1973, Computer science classics.

[13]  Sheila A. Greibach,et al.  Jump PDA's and Hierarchies of Deterministic Context-Free Languages , 1974, SIAM J. Comput..

[14]  W. J. Chandler.  Abstract families of deterministic languages , 1969, STOC.

[15]  Sheila A. Greibach,et al.  Chains of full AFL's , 1970, Mathematical systems theory.