51 template <
class SymbolType >
70template <
class SymbolType >
72 if ( !
alphabet.contains ( symbol ) )
79 for (
size_t i = 1;
i < modulo; ++
i )
82 for (
size_t i = 0;
i < modulo; ++
i )
83 automaton.addTransition (
i, symbol, (
i + 1 ) % modulo );
85 for (
size_t i = 0;
i < modulo; ++
i )
87 if ( alphabet_symbol != symbol )
Nondeterministic finite automaton. Accepts regular languages.
Definition: NFA.h:66
Definition: NumberOfSymbolsAutomaton.h:38
static automaton::NFA< SymbolType, unsigned > generateNFA(size_t modulo, const ext::set< SymbolType > &alphabet, SymbolType symbol, size_t final_modulo)
Definition: NumberOfSymbolsAutomaton.h:71
Basic exception from which all other exceptions are derived.
Definition: CommonException.h:21
Definition: BarSymbol.cpp:12
Definition: NumberModuloAutomaton.cpp:10
int i
Definition: AllEpsilonClosure.h:118
typename T::SymbolType SymbolType
Definition: ReachableStates.h:176
Definition: ToGrammar.h:31