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

Functions

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

See also:
standardize(), is_standard(), concat_of_standard(), union_of_standard(), star_of_standard()

Definition in file standard.hh.


Generated on Wed Mar 19 13:32:15 2008 for Vaucanson by  doxygen 1.5.5