Sur diverses familles de langages fermées par transduction rationnelle

Summary The main theorem gives a sufficient condition for an AFL to be the closure under union of the set of images under rational transductions of any of its sets of generators. All the AFL's known to have this property satisfy the given condition. As an application we give a short proof of the fact that every generator of the AFL of algebraic (context-free) languages is a faithful generator, i.e. can be mapped onto every algebraic language by a faithful (& free) rational transduction.

---

---

Les auteurs tiennent à remercier le professeur S. Ginsburg, de l'Univerité USC de Los Angeles, des fructueuses discussions qu'ils ont pu avoir avec lui Mai et Juillet 1971.Le deuxième auteur remercie très vivement l'Université de London (Ontario) et tout particulièrement le professeur Thierrin qui lui ont permis d'exposer ces résultats à l'Ecole d'Eté de Théorie des automates organisée par cette université de Mai à Juillet 1971.