normalized.hh File Reference

Thompson normalization operations. More...

Include dependency graph for normalized.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
template<typename A , typename AI >
Element< A, AI >	normalize (const Element< A, AI > &a)
	Return the fresh thompson-normalized automaton.
template<typename A , typename AI >
void	normalize_here (Element< A, AI > &a)
	In-place normalize to the thompson form.
template<typename A , typename AI >
bool	is_normalized (const Element< A, AI > &a)
	Return true if the input automaton is thompson-normalized.
template<typename A , typename AI1 , typename AI2 >
void	union_of_normalized_here (Element< A, AI1 > &lhs, const Element< A, AI2 > &rhs)
	Do the in-place union of two thompson-normalized automata.
template<typename A , typename AI1 , typename AI2 >
Element< A, AI1 >	union_of_normalized (const Element< A, AI1 > &lhs, const Element< A, AI2 > &rhs)
	Return the fresh union of two thompson-normalized automata.
template<typename A , typename AI1 , typename AI2 >
void	concatenate_of_normalized_here (Element< A, AI1 > &lhs, const Element< A, AI2 > &rhs)
	Do the in-place concatenation of two thompson-normalized automata.
template<typename A , typename AI1 , typename AI2 >
Element< A, AI1 >	concatenate_of_normalized (const Element< A, AI1 > &lhs, const Element< A, AI2 > &rhs)
	Return the fresh concatenation of two thompson-normalized automata.
template<typename A , typename AI >
void	star_of_normalized_here (Element< A, AI > &a)
	Do in-place star transformation on the thompson-normalized input.
template<typename A , typename AI >
Element< A, AI >	star_of_normalized (const Element< A, AI > &a)
	Return the fresh star transformation of its normalized input.

---

Detailed Description

Thompson normalization operations.

Algorithms related to Thompson automata normalization, and Thompson-normalized automata operations.

See also:

normalize(), is_normalized(), union_of_normalized(), concatenate_of_normalized(), star_of_normalized()

Definition in file normalized.hh.