Synchronous relations in Vaucanson

From LRDE

(Redirected from Publications/200901-Seminar-Lesaint)

Abstract

Synchronous rational relations is the largest subfamily of rational relations so far defined that is an effective Boolean algebra. It can be therefore of some interest to provide manipulation tools which might help in their study. With the recently added support of pair-alphabets in Vaucanson, we suggest a new approach to deal with synchronous rational relations represented as letter-to-letter transducers and provide the necessary tools to work with them.