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 .