automaton::simplify::EpsilonRemoverOutgoing Class Reference

#include <EpsilonRemoverOutgoing.h>

Static Public Member Functions
template<class StateType , class SymbolType >
static automaton::MultiInitialStateNFA< SymbolType, StateType >	remove (const automaton::EpsilonNFA< SymbolType, StateType > &fsm)
template<class StateType , class SymbolType >
static automaton::NFTA< SymbolType, StateType >	remove (const automaton::EpsilonNFTA< SymbolType, StateType > &fta)
template<class StateType , class SymbolType >
static automaton::MultiInitialStateNFA< SymbolType, StateType >	remove (const automaton::MultiInitialStateNFA< SymbolType, StateType > &fsm)
template<class StateType , class SymbolType >
static automaton::NFA< SymbolType, StateType >	remove (const automaton::NFA< SymbolType, StateType > &fsm)
template<class StateType , class SymbolType >
static automaton::DFA< SymbolType, StateType >	remove (const automaton::DFA< SymbolType, StateType > &fsm)

Detailed Description

Removes epsilon transitions from an automaton. This method returns multi-initial state automata (it is not the one teached at BI-AAG course).

See also

automaton::simplify::EpsilonRemoverIncoming

Member Function Documentation

remove() [1/5]

template<class StateType , class SymbolType >

automaton::DFA< SymbolType, StateType > automaton::simplify::EpsilonRemoverOutgoing::remove ( const automaton::DFA< SymbolType, StateType > &  fsm )

static

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

remove() [2/5]

template<class StateType , class SymbolType >

automaton::MultiInitialStateNFA< SymbolType, StateType > automaton::simplify::EpsilonRemoverOutgoing::remove ( const automaton::EpsilonNFA< SymbolType, StateType > &  fsm )

static

Removes epsilon transitions from an automaton.

Template Parameters

SymbolType	Type for input symbols.
StateType	Type for states.

Parameters

fsm	automaton to remove epsilon transitions from

Returns

an automaton (with multiple initial states) equivalent to fsm but without epsilon transitions

Step 1 from Melichar 2.41

Step 2 from Melichar 2.41

Here is the call graph for this function:

remove() [3/5]

template<class StateType , class SymbolType >

automaton::NFTA< SymbolType, StateType > automaton::simplify::EpsilonRemoverOutgoing::remove ( const automaton::EpsilonNFTA< SymbolType, StateType > &  fta )

static

Removes epsilon transitions from a nondeterministic epsilon finite tree automaton.

Template Parameters

SymbolType	Type for input symbols.
StateType	Type for states.

Parameters

fta	automaton to remove epsilon transitions from

Returns

an automaton equivalent to fta but without epsilon transitions

Step 1 from Melichar 2.41

Here is the call graph for this function:

remove() [4/5]

template<class StateType , class SymbolType >

automaton::MultiInitialStateNFA< SymbolType, StateType > automaton::simplify::EpsilonRemoverOutgoing::remove ( const automaton::MultiInitialStateNFA< SymbolType, StateType > &  fsm )

static

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

remove() [5/5]

template<class StateType , class SymbolType >

automaton::NFA< SymbolType, StateType > automaton::simplify::EpsilonRemoverOutgoing::remove ( const automaton::NFA< SymbolType, StateType > &  fsm )

static

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

---

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

• alib2algo/src/automaton/simplify/EpsilonRemoverOutgoing.h