Improving Vaucanson's transducers composition algorithm

From LRDE

Revision as of 17:04, 9 January 2018 by Bot (talk | contribs) (Created page with "{{CSIReport | authors = Jérôme Galtier | title = Improving Vaucanson's transducers composition algorithm | year = 2008 | abstract = Vaucanson is a library aimed at providing...")
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

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.