Awali
Another Weighted Automata library
Functions
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)
 
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.