Les transducteurs de mots étendent les automates à états finis avec des sorties et définissent des relations binaires sur les mots. Ils ont été étudiés dès les premiers stades de la théorie des automates, mais des développements récents ont introduit des modèles plus puissants et de nouveaux problèmes de calcul. Dans cette thèse, nous nous concentrons sur les problèmes de décision pour les transducteurs de mots avec la sémantique d'origine, une sémantique qui a été proposée récemment et qui rend les transducteurs plus performants en termes de canonicité et de décidabilité. En particulier, nous proposons des re-synchroniseurs réguliers afin de comparer les transducteurs de mots dans la sémantique d'origine de manière plus décontractée, et nous montrons que divers problèmes restent décidables dans ce cadre.

English
LaBRI (visioconférence ou présentiel suivant la situation sanitaire)