Outils pour utilisateurs

Outils du site


ufr:musee:collection:transductions_rationnelles

Différences

Ci-dessous, les différences entre deux révisions de la page.

Lien vers cette vue comparative

ufr:musee:collection:transductions_rationnelles [2023/06/26 14:56] – créée kgarnierufr:musee:collection:transductions_rationnelles [2023/06/27 15:38] (Version actuelle) kgarnier
Ligne 1: Ligne 1:
 +====== Transductions Rationnelles, Application aux Langages Algébriques ======
  
 +Les [[wpfr>Transduction_rationnelle|transductions rationnelles]] sont devenues un des outils principaux de la théorie algébrique des [[wpfr>Langage_formel|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 [[wpfr>Monoïde_syntaxique|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
 +
 +{{tag>musee livre boasson autebert 1980}}