Vcsn  2.4
Be Rational
cerny.hh File Reference
Include dependency graph for cerny.hh:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Namespaces

 vcsn
 
 vcsn::dyn
 
 vcsn::dyn::detail
 

Functions

template<typename Ctx >
mutable_automaton< Ctx > vcsn::cerny (const Ctx &ctx, unsigned num_states)
 Cerny automata are automata whose synchronizing word length is always (n - 1)^2, the upper bound of the Cerny's conjecture. More...
 
template<typename Ctx , typename >
automaton vcsn::dyn::detail::cerny (const context &ctx, unsigned num_states)
 Bridge. More...