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.
