This file provides a transformation function that computes the Rational Weight transducer of a FMP automaton. More...
Include dependency graph for fmp_to_rw.hh:
This graph shows which files directly or indirectly include this file:
Go to the source code of this file.
Namespaces | |
| namespace | vcsn |
The main namespace of the Vaucanson library. | |
Functions | |
FMP automaton to rational weight transducer algorithm. | |
Compute the equivalent Rational Weight transducer of a FMP automaton. Please note that for the moment this function works only if the support of each transition is finite. Algorithm : If the FMP contains transitions with "complex" expression (E), i.e. infinite support, then Thompson of E. With the resulting automaton apply a conversion. i.e. (a,x) -> a|x | |
| template<typename S , typename T , typename SS , typename TT > | |
| Element< SS, TT > & | fmp_to_rw (const Element< S, T > &fmp, Element< SS, TT > &res) |
Detailed Description
This file provides a transformation function that computes the Rational Weight transducer of a FMP automaton.
- Date:
- Mon Mar 16 16:15:15 2005
- See also:
- fmp_to_rw()
Definition in file fmp_to_rw.hh.
