regexp::convert::ToAutomatonGlushkov Class Reference

#include <ToAutomatonGlushkov.h>

Static Public Member Functions
template<class SymbolType >
static automaton::NFA< SymbolType, ext::pair< SymbolType, unsigned > >	convert (const regexp::UnboundedRegExp< SymbolType > &regexp)
template<class SymbolType >
static automaton::NFA< SymbolType, ext::pair< SymbolType, unsigned > >	convert (const regexp::FormalRegExp< SymbolType > &regexp)

Detailed Description

Converts regular expression to finite automaton using Glushkov's NFA construction algorithm. Source: Melichar 2.107

Member Function Documentation

convert() [1/2]

template<class SymbolType >

automaton::NFA< SymbolType, ext::pair< SymbolType, unsigned > > regexp::convert::ToAutomatonGlushkov::convert ( const regexp::FormalRegExp< SymbolType > &  regexp )

static

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

Here is the call graph for this function:

convert() [2/2]

template<class SymbolType >

automaton::NFA< SymbolType, ext::pair< SymbolType, unsigned > > regexp::convert::ToAutomatonGlushkov::convert ( const regexp::UnboundedRegExp< SymbolType > &  regexp )

static

Implements conversion of regular expressions to finite automata using Glushkov's method of neighbours.

Template Parameters

SymbolType

the type of symbols in the regular expression

Parameters

regexp

the regexp to convert

Returns

finite automaton accepting the language described by the original regular expression

Here is the call graph for this function:

Here is the caller graph for this function:

---

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

• alib2algo/src/regexp/convert/ToAutomatonGlushkov.h