Synchronous relations in Vaucanson
From LRDE
The printable version is no longer supported and may have rendering errors. Please update your browser bookmarks and please use the default browser print function instead.
- Authors
- Florian Lesaint
- Type
- techreport
- Year
- 2008
- Number
- 0833
- Projects
- Vaucanson
- Keywords
- Vaucanson, FSMXML, XML Proposal, Format, Input, SAXXerces, XML, XSD
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.