Transduction rationnelle
De Wikipedia, l'encyclopédie encyclopedia
En informatique théorique, en linguistique, en théorie des automates et en théorie des langages, une transduction rationnelle est une transformation de mots et de langages définie par un transducteur fini ou au moyen d'une relation rationnelle. Une relation rationnelle fonctionnelle est aussi appelé fonction rationnelle.
Les transductions rationnelles ont été introduites et étudiées par C. C. Elgot et J. E. Mezei[1], par Marcel-Paul Schützenberger et Maurice Nivat, et employées notamment par Seymour Ginsburg et Sheila Greibach dans l'étude des langages algébriques.