Abstract FR:

Etude des automates munis d'une fonction de coût sur un alphabet à une seule lettre : calcul de la borne optimale. Etude des monoïdes libres commutatifs finiment engendrés, des représentations des parties rationnelles. Preuve de la décidabilité de savoir si une partie rationnelle est limitée