automaton::transform::Reverse Class Reference

#include <Reverse.h>

Static Public Member Functions
template<class SymbolType , class StateType >
static automaton::MultiInitialStateNFA< SymbolType, StateType >	convert (const automaton::DFA< SymbolType, StateType > &automaton)
template<class SymbolType , class StateType >
static automaton::MultiInitialStateNFA< SymbolType, StateType >	convert (const automaton::NFA< SymbolType, StateType > &automaton)
template<class SymbolType , class StateType >
static automaton::MultiInitialStateNFA< SymbolType, StateType >	convert (const automaton::MultiInitialStateNFA< SymbolType, StateType > &automaton)

Detailed Description

Transformation of a finite automaton to a reverse finite automaton. For a finite automaton A1 we create a finite automaton A such that L(A) = L(A1)^R (i.e. all strings are reversed).

Member Function Documentation

convert() [1/3]

template<class SymbolType , class StateType >

automaton::MultiInitialStateNFA< SymbolType, StateType > automaton::transform::Reverse::convert ( const automaton::DFA< SymbolType, StateType > &  automaton )

static

Computation of reverse of a finite automaton.

Template Parameters

SymbolType	Type for input symbols.
StateType	Type for states.

Parameters

automaton

the automaton to reverse

Returns

multi-initial state nondeterministic FA accepting reversed language of automaton

Here is the caller graph for this function:

convert() [2/3]

template<class SymbolType , class StateType >

automaton::MultiInitialStateNFA< SymbolType, StateType > automaton::transform::Reverse::convert ( const automaton::MultiInitialStateNFA< SymbolType, StateType > &  automaton )

static

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

convert() [3/3]

template<class SymbolType , class StateType >

automaton::MultiInitialStateNFA< SymbolType, StateType > automaton::transform::Reverse::convert ( const automaton::NFA< SymbolType, StateType > &  automaton )

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/transform/Reverse.h