Synchronous relations in Vaucanson

From LRDE

Revision as of 17:05, 9 January 2018 by Bot (talk | contribs) (Created page with "{{CSIReport | authors = Florian Lesaint | title = Synchronous relations in Vaucanson | year = 2008 | abstract = Synchronous rational relations is the largest subfamily of rati...")
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

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.