Static Public Member Functions
template<class SymbolType >
static automaton::NFA< SymbolType, unsigned >	generateNFA (size_t modulo, const ext::set< SymbolType > &alphabet, SymbolType symbol, size_t final_modulo)

static automaton::NFA< std::string, unsigned >	generateNFA (size_t modulo, size_t alphabetSize, bool randomizedAlphabet, char symbol, size_t final_modulo)

Detailed Description

Algorithm NFA accepting strings with given number of symbols A modulo N.

Member Function Documentation

template<class SymbolType >

automaton::NFA< SymbolType, unsigned > automaton::generate::NumberOfSymbolsAutomaton::generateNFA	(	size_t	modulo,
		const ext::set< SymbolType > &	alphabet,
		SymbolType	symbol,
		size_t	final_modulo
	)

static

Generates automaton accepting strings over alphabet where the number of symbol given by symbol is modulo modulo equal to final_modulo.

Template Parameters

SymbolType the type of terminal symbols of the random automaton

Parameters

modulo	number of symbols to modulo by
alphabet	Input alphabet of the automaton
symbol	the counted symbol
final_modulo	number of symbols to recognise mod modulo

Here is the caller graph for this function:

automaton::NFA< std::string, unsigned > automaton::generate::NumberOfSymbolsAutomaton::generateNFA	(	size_t	modulo,
		size_t	alphabetSize,
		bool	randomizedAlphabet,
		char	symbol,
		size_t	final_modulo
	)

static

This is an overloaded member function, provided for convenience. It differs from the above function only in what argument(s) it accepts.

Generates automaton accepting strings over alphabet where the number of symbol given by symbol is modulo modulo equal to final_modulo.

Parameters

modulo	number of symbols to modulo by
alphabetSize	size of the alphabet (1-26)
randomizedAlphabet	selects random symbols from a-z range if true
symbol	the counted symbol
final_modulo	number of symbols to recognise mod modulo

Here is the call graph for this function:

The documentation for this class was generated from the following files: