standard.hh File Reference

Several algorithms concerning standard automata. More...

Include dependency graph for standard.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 >
void	standardize (Element< A, AI > &a)
	Returns a standard automaton associated to the input.
template<typename A , typename AI >
bool	is_standard (const Element< A, AI > &a)
	Returns true if the input automaton is standard.
template<typename A , typename AI1 , typename AI2 >
void	union_of_standard_here (Element< A, AI1 > &lhs, const Element< A, AI2 > &rhs)
	In-place union of two standard automata.
template<typename A , typename AI1 , typename AI2 >
Element< A, AI1 >	union_of_standard (const Element< A, AI1 > &lhs, const Element< A, AI2 > &rhs)
	Return a fresh union of two standard automata.
template<typename A , typename AI1 , typename AI2 >
void	concat_of_standard_here (Element< A, AI1 > &lhs, const Element< A, AI2 > &rhs)
	In-place concatenation of two standard automata.
template<typename A , typename AI1 , typename AI2 >
Element< A, AI1 >	concat_of_standard (const Element< A, AI1 > &lhs, const Element< A, AI2 > &rhs)
	Return a fresh concatenation of two standard automata.
template<typename A , typename AI >
void	star_of_standard_here (Element< A, AI > &a)
	In-place star transformation of a standard automata.
template<typename A , typename AI >
Element< A, AI >	star_of_standard (const Element< A, AI > &a)
	Return the fresh star transformation of a standard automata.

---

Detailed Description

Several algorithms concerning standard automata.

This file contains different operations which can be applied on standard automata.

For Boolean automata, see ETA Chapter 1, Section 5.1. For K-automata, see ETA Chapter 3, Section 2. See also the correction of the exercice 2.24 p.540. You can also find a page about standard automata at: https://trac.lrde.org/vaucanson/wiki/StandardNormalizedAutomata

See also:

standardize(), is_standard(), concat_of_standard(), union_of_standard(), star_of_standard()

Definition in file standard.hh.