Les transductions rationnelles sont devenues un des outils principaux de la théorie algébrique des langages formels. Les définitions principales et les théorèmes fondamentaux sont rassemblés dans cet ouvrage.

La démarche adoptée est inspirée par la séparation des parties “régulières” d'un monoïde en parties reconnaissables et parties rationnelles. Les transductions rationnelles se définissent en effet de façon naturelle comme applications dont le graphe associé est une partie rationnelle d'un monoïde (non libre), produit direct de deux monoïdes libres.

• Jean-Michel Autebert
• Luc Boasson