![]() |
Vcsn
2.0
Be Rational
|
#include <vcsn/dyn/automaton.hh>#include <vcsn/algos/standard.hh>#include <vcsn/dyn/algos.hh>#include <lib/vcsn/algos/registry.hh>Go to the source code of this file.
Namespaces | |
| vcsn | |
| vcsn::dyn | |
| FIXME: duplicate code with determinize. | |
Functions | |
| bool | vcsn::dyn::is_standard (const automaton &aut) |
| Whether is standard (unique initial state, with weight one, no incoming transition). More... | |
| bool | vcsn::dyn::is_costandard (const automaton &aut) |
| Whether is costandard (unique final state, with weight one, no outcoming transition). More... | |
| automaton | vcsn::dyn::standard (const automaton &a) |
| A standardized a. More... | |
| automaton | vcsn::dyn::costandard (const automaton &a) |
| A standardized transpositive a. More... | |
| automaton | vcsn::dyn::standard (const ratexp &e) |
| The standard automaton of e. More... | |