Rational Expression Parser

From LRDE

Abstract

The Vaucanson library is designed to manipulate automata and transducers. Therefore we need a rational expression parser which deals with transducers. The current rational expression parser only takes as input weighted rational expression. The new parser allows us to specify any kind of weight and any kind of monoid like free monoid product. Both of these features are mandatory if we want to deal with transducers. The new parser is also less restrictive and provides more freedom to the user who can easily change the form of the grammar used to write its expression.