Algorithms Library Toolkit
A toolkit for algorithms, especially for algorithms on formal languages
|
#include <NumberModuloAutomaton.h>
Static Public Member Functions | |
static automaton::DFA< std::string, unsigned > | generate (unsigned base, unsigned modulo, unsigned result_modulo) |
Algorithm to generate an automaton recognising numbers in given base that have modulo equal to a concrete value.
|
static |
Generates an automaton recognising numbers in given base that have modulo equal to a concrete value.
base | the base of read number |
modulo | the requested modulo |
result_modulo | the final modulo |