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

static automaton::NFA< std::string, unsigned >	generateNFA (size_t statesCount, size_t alphabetSize, bool randomizedAlphabet, double density)

Detailed Description

Generator of random automata.

The underlying generation algorithm is from Leslie, T: Efficient Approaches to Subset Construction, 1995.

Member Function Documentation

template<class SymbolType >

automaton::NFA< SymbolType, unsigned > automaton::generate::RandomAutomatonFactory::generateNFA	(	size_t	statesCount,
		const ext::set< SymbolType > &	alphabet,
		double	density
	)

static

Generates a random finite automaton.

Template Parameters

SymbolType the type of terminal symbols of the random automaton

Parameters

statesCount	number of states in the generated automaton
alphabet	Input alphabet of the automaton
density	density of the transition function (double from interval 0-100)

automaton::NFA< std::string, unsigned > automaton::generate::RandomAutomatonFactory::generateNFA	(	size_t	statesCount,
		size_t	alphabetSize,
		bool	randomizedAlphabet,
		double	density
	)

static

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

Generates a random finite automaton.

Parameters

statesCount	number of states in the generated automaton
alphabetSize	size of the alphabet (1-26)
randomizedAlphabet	selects random symbols from a-z range if true
density	density of the transition function (0-100). 100 means every possible transition is created

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