|
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 |