Vaucanson: 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:

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.

Author:: Robert Bigaignon rober.nosp@m.t.bi.nosp@m.gaign.nosp@m.on@l.nosp@m.rde.e.nosp@m.pita.nosp@m..fr

Definition in file fmp_to_rw.hh.