Improving Vaucanson's transducers composition algorithm
- Jérôme Galtier
- Vaucanson, Automaton, Fibonacci, Transducer, CompositionEvaluation, Postscript, GDB
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.