awali::dyn::factory Namespace Reference

Namespace containing what we call factories, that is, functions that generates a member in a family of automata, rational expression or transducer. More...

Functions
automaton_t	cerny (unsigned n, const std::string &alphabet, const std::string &semiring="B")
	Returns an automaton with n states. More...
automaton_t	cerny (unsigned n, int a, int b, const std::string &semiring="B")
	Returns an automaton with n states. More...
automaton_t	divkbaseb (unsigned k, unsigned b, const std::string &alphabet="auto", const std::string &semiring="B")
	Returns an automaton which recognizes numbers in base b which are multiple of k. More...
automaton_t	double_ring (unsigned n, const std::vector< unsigned > &finals, const std::string &alphabet, const std::string &semiring="B")
	Returns a double ring automaton with n states. More...
automaton_t	double_ring (unsigned n, const std::vector< unsigned > &finals, int a, const std::string &semiring="B")
	Returns a double ring automaton with n states. More...
automaton_t	int_divkbaseb (unsigned k, unsigned b, const std::string &semiring="B")
	returns an automaton which recognizes numbers in base b which are multiple of k More...
automaton_t	ladybird (unsigned n, const std::string &alphabet, const std::string &semiring="B")
	Returns a "ladybird" automaton with n states. More...
automaton_t	ladybird (unsigned n, int a, const std::string &semiring="B")
	Returns an "ladybird" automaton with n states. More...
automaton_t	n_ultimate (unsigned n, const std::string &alphabet, const std::string &semiring="B")
	Returns an automaton which recognizes words with a specific n-ultimate letter. More...
automaton_t	n_ultimate (unsigned n, int a, int b, const std::string &semiring="B")
	returns an automaton which recognizes words with a specific n-ultimate letter More...
automaton_t	randomDFA (unsigned size, std::string alph)
	Generates a random deterministic automaton over alphabet alph with size states. More...
automaton_t	witness (unsigned n, const std::string &alphabet, const std::string &semiring="B")
	Returns an automaton with n states. More...
automaton_t	witness (unsigned n, int a, const std::string &semiring="B")
	Returns an automaton with n states. More...

Detailed Description

Namespace containing what we call factories, that is, functions that generates a member in a family of automata, rational expression or transducer.