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 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.


Generated on Thu Sep 17 22:01:33 2009 for Vaucanson by  doxygen 1.5.6