Vcsn  2.0
Be Rational
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros
standard.cc File Reference
Include dependency graph for standard.cc:

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