Improving Vaucanson's transducers composition algorithm
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
- Jérôme Galtier
- Type
- techreport
- Year
- 2008
- Number
- 0824
- Projects
- Vaucanson
- Keywords
- Vaucanson, Automaton, Fibonacci, Transducer, CompositionEvaluation, Postscript, GDB
Abstract
Vaucanson is a library aimed at providing easy access and manipulation of common automata constructions and their algorithms. As such it provides schoolbook algorithms (and some others on the bleeding edge) such as determinizationaccessible states calculation and so on. One of them is composition of transducers. This algorithm isn't from an obvious kind and his implementation in Vaucanson is perfectible. Improving such an algorithm implementation is consequently a good way to challenge Vaucanson design choices.