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
Classes
struct	composer
Defines
#define	SPECIFIC_TYPES(Auto)   typedef std::list<typename Auto##_t::htransition_t> Auto##_delta_ret_t; \
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 M1, typename M2, typename lhs_t, typename rhs_t, typename res_t>
void	do_compose_dispatcher (const AutomataBase< S > &, const algebra::FreeMonoidProduct< M1, M2 > &, SELECTOR(bool), const lhs_t &lhs, const rhs_t &rhs, res_t &ret)
template<typename S, typename M1, typename M2, typename lhs_t, typename rhs_t, typename res_t, typename weight_t>
void	do_compose_dispatcher (const AutomataBase< S > &, const algebra::FreeMonoidProduct< M1, M2 > &, const weight_t &, const lhs_t &lhs, const rhs_t &rhs, res_t &ret)
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.

---