Transducers in Vaucanson 2

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.

Abstract

Vaucanson is a library dedicated to finite automaton manipulation devlopped by the Research and Development Laboratory of EPITA (LRDE). This project aims at providing its users with a great variety of automaton typesincluding transducers. This report suggests an implementation of generic transucers, which accept automaton labeled by tuples of languages.