automaton::simplify::SingleInitialStateEpsilonTransition Class Reference

#include <SingleInitialStateEpsilonTransition.h>

Static Public Member Functions
template<class T > requires isMultiInitialStateNFA < T > || isMultiInitialStateEpsilonNFA < T >
static automaton::EpsilonNFA< typename T::StateType, typename T::SymbolType >	convert (const T &fsm)
template<class T > requires isDFA < T > || isNFA < T > || isEpsilonNFA < T > || isExtendedNFA < T > || isCompactNFA < T >
static T	convert (const T &fsm)

Detailed Description

Algorithm for the conversion of multi-initial state finite automata to single-initial state finite automata using epsilon transitions.

See also

automaton::simplify::SingleInitialState

Member Function Documentation

convert() [1/2]

template<class T >
requires isMultiInitialStateNFA < T > || isMultiInitialStateEpsilonNFA < T >

static automaton::EpsilonNFA< typename T::StateType, typename T::SymbolType > automaton::simplify::SingleInitialStateEpsilonTransition::convert ( const T &  fsm )

static

Converts multi-initial state automaton to a single-initial state automaton with the use of epsilon transitions.

Template Parameters

T	type of the converted automaton.

Parameters

automaton

automaton to convert

Returns

an epsilon automaton equivalent to with only one initial state

convert() [2/2]

template<class T >
requires isDFA < T > || isNFA < T > || isEpsilonNFA < T > || isExtendedNFA < T > || isCompactNFA < T >

T automaton::simplify::SingleInitialStateEpsilonTransition::convert ( const T &  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/SingleInitialStateEpsilonTransition.h