![]() |
Vcsn
2.1
Be Rational
|
#include <vcsn/core/mutable-automaton.hh>
#include <vcsn/dyn/automaton.hh>
#include <vcsn/dyn/context.hh>
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... | |