# 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 AI1 , typename AI2 >
void | union_here (Element< A, AI1 > &lhs, const Element< A, AI2 > &rhs)
| In place union of two automata.
template<typename A , typename AI1 , typename AI2 >
Element< A, AI1 > | union_ (const Element< A, AI1 > &lhs, const Element< A, AI2 > &rhs)
| Union of two automata.
template<typename A , typename AI >
bool | is_standard (const Element< A, AI > &a)
| Returns true iff the input automaton is standard.
template<typename A , typename AI >
void | standardize (Element< A, AI > &a)
| Returns a standard automaton associated to the input.
template<typename A , typename AI1 , typename AI2 >
void | sum_of_standard_here (Element< A, AI1 > &lhs, const Element< A, AI2 > &rhs)
| In-place sum of two standard automata.
template<typename A , typename AI1 , typename AI2 >
Element< A, AI1 > | sum_of_standard (const Element< A, AI1 > &lhs, const Element< A, AI2 > &rhs)
| Return a fresh sum 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 automaton.
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.
template<typename A , typename AI >
void | left_mult_of_standard_here (Element< A, AI > &aut, const typename Element< A, AI >::series_set_elt_t &k)
| In-place left exterior multiplication by a weight.
template<typename A , typename AI >
void | right_mult_of_standard_here (Element< A, AI > &aut, const typename Element< A, AI >::series_set_elt_t &k)
| In-place right exterior multiplication by a weight.

## 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(), sum_of_standard(), star_of_standard(), union_()

Definition in file standard.hh.