fmp_to_rw.hh File Reference

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

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.

Author:
Robert Bigaignon <robert.bigaignon@lrde.epita.fr>
Date:
Mon Mar 16 16:15:15 2005
See also:
fmp_to_rw()

Definition in file fmp_to_rw.hh.


Generated on Thu Sep 17 22:01:05 2009 for Vaucanson by  doxygen 1.5.6