Implementation of test whether automaton accepts its input. More...

#include <Accept.h>

Static Public Member Functions
template<class SymbolType , class StateType >
static bool	accept (const automaton::DFA< SymbolType, StateType > &automaton, const string::LinearString< SymbolType > &string)

template<class SymbolType , class StateType >
static bool	accept (const automaton::NFA< SymbolType, StateType > &automaton, const string::LinearString< SymbolType > &string)

template<class SymbolType , class StateType >
static bool	accept (const automaton::EpsilonNFA< SymbolType, StateType > &automaton, const string::LinearString< SymbolType > &string)

template<class SymbolType , class StateType >
static bool	accept (const automaton::DFTA< SymbolType, StateType > &automaton, const tree::RankedTree< SymbolType > &tree)

template<class SymbolType , class StateType >
static bool	accept (const automaton::ArcFactoredDeterministicZAutomaton< SymbolType, StateType > &automaton, const tree::UnrankedTree< SymbolType > &tree)

template<class SymbolType , class StateType >
static bool	accept (const automaton::NFTA< SymbolType, StateType > &automaton, const tree::RankedTree< SymbolType > &tree)

template<class InputSymbolType , class PushdownStoreSymbolType , class StateType >
static bool	accept (const automaton::InputDrivenDPDA< InputSymbolType, PushdownStoreSymbolType, StateType > &automaton, const string::LinearString< InputSymbolType > &string)

template<class InputSymbolType , class PushdownStoreSymbolType , class StateType >
static bool	accept (const automaton::VisiblyPushdownDPDA< InputSymbolType, PushdownStoreSymbolType, StateType > &automaton, const string::LinearString< InputSymbolType > &string)

template<class InputSymbolType , class PushdownStoreSymbolType , class StateType >
static bool	accept (const automaton::RealTimeHeightDeterministicDPDA< InputSymbolType, PushdownStoreSymbolType, StateType > &automaton, const string::LinearString< InputSymbolType > &string)

template<class InputSymbolType , class PushdownStoreSymbolType , class StateType >
static bool	accept (const automaton::DPDA< InputSymbolType, PushdownStoreSymbolType, StateType > &automaton, const string::LinearString< InputSymbolType > &string)

template<class InputSymbolType , class PushdownStoreSymbolType , class StateType >
static bool	accept (const automaton::NPDA< InputSymbolType, PushdownStoreSymbolType, StateType > &automaton, const string::LinearString< InputSymbolType > &string)

template<class InputSymbolType , class OutputSymbolType , class PushdownStoreSymbolType , class StateType >
static bool	accept (const automaton::NPDTA< InputSymbolType, OutputSymbolType, PushdownStoreSymbolType, StateType > &automaton, const string::LinearString< InputSymbolType > &string)

Detailed Description

Implementation of test whether automaton accepts its input.

Member Function Documentation

◆ accept() [1/12]

template<class SymbolType , class StateType >

bool automaton::run::Accept::accept	(	const automaton::ArcFactoredDeterministicZAutomaton< SymbolType, StateType > &	automaton,
		const tree::UnrankedTree< SymbolType > &	tree
	)

static

◆ accept() [2/12]

template<class SymbolType , class StateType >

bool automaton::run::Accept::accept	(	const automaton::DFA< SymbolType, StateType > &	automaton,
		const string::LinearString< SymbolType > &	string
	)

static

Automaton run implementation resulting in boolean true if the automaton accepted the input.

Template Parameters

SymbolType	type of symbols of the string and terminal symbols of the runned automaton
StateType	type of states of the runned automaton

Parameters

automaton	the runned automaton
string	the input of the automaton

Returns: true if the automaton accepts given string

◆ accept() [3/12]

template<class SymbolType , class StateType >

bool automaton::run::Accept::accept	(	const automaton::DFTA< SymbolType, StateType > &	automaton,
		const tree::RankedTree< SymbolType > &	tree
	)

static

\override

Template Parameters

SymbolType	type of symbols of tree nodes and terminal symbols of the runned automaton
RankType	type of ranks of tree nodes and terminal symbols of the runned automaton
StateType	type of states of the runned automaton

Parameters

automaton	the runned automaton
string	the input of the automaton

Returns: true if the automaton accepts given string

◆ accept() [4/12]

template<class InputSymbolType , class PushdownStoreSymbolType , class StateType >

bool automaton::run::Accept::accept	(	const automaton::DPDA< InputSymbolType, PushdownStoreSymbolType, StateType > &	automaton,
		const string::LinearString< InputSymbolType > &	string
	)

static

\override

Template Parameters

InputSymbolType	type of symbols of the string and terminal symbols of the runned automaton
PushdownStoreSymbolType	type of pushdown store symbols of the runned automaton
StateType	type of states of the runned automaton

Parameters

automaton	the runned automaton
string	the input of the automaton

Returns: true if the automaton accepts given string

◆ accept() [5/12]

template<class SymbolType , class StateType >

bool automaton::run::Accept::accept	(	const automaton::EpsilonNFA< SymbolType, StateType > &	automaton,
		const string::LinearString< SymbolType > &	string
	)

static

\override

Template Parameters

SymbolType	type of symbols of the string and terminal symbols of the runned automaton
StateType	type of states of the runned automaton

Parameters

automaton	the runned automaton
string	the input of the automaton

Returns: true if the automaton accepts given string

Here is the call graph for this function:

◆ accept() [6/12]

template<class InputSymbolType , class PushdownStoreSymbolType , class StateType >

bool automaton::run::Accept::accept	(	const automaton::InputDrivenDPDA< InputSymbolType, PushdownStoreSymbolType, StateType > &	automaton,
		const string::LinearString< InputSymbolType > &	string
	)

static

\override

Template Parameters

InputSymbolType	type of symbols of the string and terminal symbols of the runned automaton
PushdownStoreSymbolType	type of pushdown store symbols of the runned automaton
StateType	type of states of the runned automaton

Parameters

automaton	the runned automaton
string	the input of the automaton

Returns: true if the automaton accepts given string

◆ accept() [7/12]

template<class SymbolType , class StateType >

bool automaton::run::Accept::accept	(	const automaton::NFA< SymbolType, StateType > &	automaton,
		const string::LinearString< SymbolType > &	string
	)

static

\override

Template Parameters

SymbolType	type of symbols of the string and terminal symbols of the runned automaton
StateType	type of states of the runned automaton

Parameters

automaton	the runned automaton
string	the input of the automaton

Returns: true if the automaton accepts given string

Here is the call graph for this function:

◆ accept() [8/12]

template<class SymbolType , class StateType >

bool automaton::run::Accept::accept	(	const automaton::NFTA< SymbolType, StateType > &	automaton,
		const tree::RankedTree< SymbolType > &	tree
	)

static

\override

Template Parameters

SymbolType	type of symbols of tree nodes and terminal symbols of the runned automaton
RankType	type of ranks of tree nodes and terminal symbols of the runned automaton
StateType	type of states of the runned automaton

Parameters

automaton	the runned automaton
string	the input of the automaton

Returns: true if the automaton accepts given string

Here is the call graph for this function:

◆ accept() [9/12]

template<class InputSymbolType , class PushdownStoreSymbolType , class StateType >

bool automaton::run::Accept::accept	(	const automaton::NPDA< InputSymbolType, PushdownStoreSymbolType, StateType > &	automaton,
		const string::LinearString< InputSymbolType > &	string
	)

static

\override

Template Parameters

InputSymbolType	type of symbols of the string and terminal symbols of the runned automaton
PushdownStoreSymbolType	type of pushdown store symbols of the runned automaton
StateType	type of states of the runned automaton

Parameters

automaton	the runned automaton
string	the input of the automaton

Returns: true if the automaton accepts given string

◆ accept() [10/12]

template<class InputSymbolType , class OutputSymbolType , class PushdownStoreSymbolType , class StateType >

bool automaton::run::Accept::accept	(	const automaton::NPDTA< InputSymbolType, OutputSymbolType, PushdownStoreSymbolType, StateType > &	automaton,
		const string::LinearString< InputSymbolType > &	string
	)

static

\override

Template Parameters

InputSymbolType	type of input symbols of the string and terminal symbols of the runned automaton
OutputSymbolType	type of output symbols of the runned automaton
PushdownStoreSymbolType	type of pushdown store symbols of the runned automaton
StateType	type of states of the runned automaton

Parameters

automaton	the runned automaton
string	the input of the automaton

Returns: true if the automaton accepts given string

◆ accept() [11/12]

template<class InputSymbolType , class PushdownStoreSymbolType , class StateType >

bool automaton::run::Accept::accept	(	const automaton::RealTimeHeightDeterministicDPDA< InputSymbolType, PushdownStoreSymbolType, StateType > &	automaton,
		const string::LinearString< InputSymbolType > &	string
	)

static

\override

Template Parameters

InputSymbolType	type of symbols of the string and terminal symbols of the runned automaton
PushdownStoreSymbolType	type of pushdown store symbols of the runned automaton
StateType	type of states of the runned automaton

Parameters

automaton	the runned automaton
string	the input of the automaton

Returns: true if the automaton accepts given string

◆ accept() [12/12]

template<class InputSymbolType , class PushdownStoreSymbolType , class StateType >

bool automaton::run::Accept::accept	(	const automaton::VisiblyPushdownDPDA< InputSymbolType, PushdownStoreSymbolType, StateType > &	automaton,
		const string::LinearString< InputSymbolType > &	string
	)

static

\override

Template Parameters

InputSymbolType	type of symbols of the string and terminal symbols of the runned automaton
PushdownStoreSymbolType	type of pushdown store symbols of the runned automaton
StateType	type of states of the runned automaton

Parameters

automaton	the runned automaton
string	the input of the automaton

Returns: true if the automaton accepts given string

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

alib2algo/src/automaton/run/Accept.h

Static Public Member Functions

Detailed Description

Member Function Documentation

◆ accept() [1/12]

◆ accept() [2/12]

◆ accept() [3/12]

◆ accept() [4/12]

◆ accept() [5/12]

◆ accept() [6/12]

◆ accept() [7/12]

◆ accept() [8/12]

◆ accept() [9/12]

◆ accept() [10/12]

◆ accept() [11/12]

◆ accept() [12/12]