# normalized_composition.hxx File Reference

Composition for normalized and sub-normalized transducers seen as automata over a free monoid product. More...

Include dependency graph for normalized_composition.hxx:
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

template<typename S , typename M1 , typename M2 , typename lhs_t , typename rhs_t , typename res_t >
void | do_compose (const AutomataBase< S > &, const algebra::FreeMonoidProduct< M1, M2 > &, const lhs_t &lhs, const rhs_t &rhs, res_t &ret)
| Ambiguous composition.
template<typename S , typename M1 , typename M2 , typename lhs_t , typename rhs_t , typename res_t >
void | do_u_compose (const AutomataBase< S > &, const algebra::FreeMonoidProduct< M1, M2 > &, const lhs_t &lhs, const rhs_t &rhs, res_t &ret)
| Unambiguous composition.
template<typename S , typename T >
void | compose (const Element< S, T > &lhs, const Element< S, T > &rhs, Element< S, T > &ret)
| Composition for weighted normalized and sub-normalized transducers, seen as automata over a free monoid product.
template<typename S , typename T >
Element< S, T > | compose (const Element< S, T > &lhs, const Element< S, T > &rhs)
| Composition for weighted normalized and sub-normalized transducers, seen as automata over a free monoid product.
template<typename S , typename T >
void | u_compose (const Element< S, T > &lhs, const Element< S, T > &rhs, Element< S, T > &ret)
| Unambiguous composition for weighted normalized and sub-normalized transducers, seen as automata over a free monoid product.
template<typename S , typename T >
Element< S, T > | u_compose (const Element< S, T > &lhs, const Element< S, T > &rhs)
| Unambiguous composition for weighted normalized and sub-normalized transducers, seen as automata over a free monoid product.

## Detailed Description

Composition for normalized and sub-normalized transducers seen as automata over a free monoid product.

The algorithm is described in section 2.3 of "Inside Vaucanson".

See also:
  http://www.lrde.org/cgi-bin/twiki/view/Publications/200506-Ciaa

Author:
  Sarah O'Connor

Definition in file normalized_composition.hxx.