Transductions Rationnelles Décroissantes

— A characterization oj decreasing rational transductions is given, We show that x is a decreasing rational transduction jrom X* into Y* if and only ij there exist an alphabet Z, two alphabetic morphisms h:Z* -> X*,g:Z* -» Y*t with h e-jree and a regular language R o Z* such that x = go(nR)oh~. Résumé. — Nous proposons une caracterisation des transductions rationnelles décroissantes. Nous montrons que x est une transduction rationnelle décroissante de X* dans Y * si et seulement si il existe un alphabet Z, deux homomorphismes alphabétiques h de Z* -+ X*, g de Z* -* y*, h strictement alphabétique et un langage régulier R<^Z* tels que v = go(nR)oh~.

[1]  Jean Berstel,et al.  Transductions and context-free languages , 1979, Teubner Studienbücher : Informatik.

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

[3]  Marcel Paul Schützenberger,et al.  Sur une Variante des Fonctions Sequentielles , 1977, Theor. Comput. Sci..

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