Abstract : Après une introduction générale présentant les principaux modèles et problèmes étudiés, nous étudierons plus précisément trois sujets qui permettront d'illustrer des propriétés algorithmiques, des aspects algébriques et logiques de cette théorie :
- caractérisation, décision et minimisation des transducteurs séquentiels ;
- équivalence et fonctionnalité de transducteurs : de l'indécidabilité à la décidabilité ;
- présentation logique des transducteurs, et clôture par composition.

Keywords : sequential transducers; first-order logic; monadic second-order logic; decidability; equivalence; algebraic characterizations; definability problems; rational word transductions; finite automata; minimization; equivalence; finite words; tree transducer