Les relations synchrones dans Vaucanson

From LRDE

Résumé

La famille des relations rationnelles synchrones est la plus grande famille de relations rationnelles, définie jusqu'ici, qui est une algèbre de Boole effective. Fournir des outils permettant de les manipuler peut donc s'avérer intéressant pour leur étude. Le récent support des alphabets de paires dans Vaucanson nous permet une nouvelle approche pour travailler avec les relations rationnelles synchrones, représentées par des transducteurs lettre à lettre, pour lesquels nous fournissons les outils nécessaires à leur manipulation.