synchronizing-word.cc File Reference

#include <lib/vcsn/algos/registry.hh>
#include <vcsn/algos/cerny.hh>
#include <vcsn/algos/pair.hh>
#include <vcsn/algos/synchronizing-word.hh>
#include <vcsn/dyn/algos.hh>

Include dependency graph for synchronizing-word.cc:

Go to the source code of this file.

Namespaces
	vcsn
	vcsn::dyn
	FIXME: duplicate code with determinize.

Functions
automaton	vcsn::dyn::pair (const automaton &aut, bool keep_initials=false)
	Build the pair automaton of the given automaton. More...
label	vcsn::dyn::synchronizing_word (const automaton &aut, const std::string &algo="greedy")
	A synchronizing word, or raise if there is none. More...
bool	vcsn::dyn::is_synchronized_by (const automaton &aut, const label &word)
	Whether the word synchronizes aut. More...
bool	vcsn::dyn::is_synchronizing (const automaton &aut)
	Whether is synchronizing. More...
automaton	vcsn::dyn::cerny (const context &ctx, unsigned num_states)
	Produce a Černý automaton of num_states states. More...