Transducteurs réversibles sur mots infinis

Résumé :
Les transducteurs sont un formalisme basé sur les automates à états finis, dont les transitions sont étiquetés par un mot à écrire, en plus d’une lettre à lire.
Lorsqu’ils sont déterministes, on dit qu’ils réalisent une fonction : ils associent à un mot en entrée un mot en sortie.
Ils permettent de caractériser une classe de fonctions dite régulière, un peu comme les automates reconnaissent les langages réguliers.
Dans cette présentation, nous étudieront les spécificités de ce formalisme, et des résultats récent sur les transducteurs sur mots infinis.
En particulier, nous aborderons la propriété appelée « réversibilité », qui consiste en la conjonction du déterminisme et du co-déterminisme. 
Nous verrons en quoi cette propriété est utile lorsqu’on souhaite composer des transducteurs bi-directionnels.