Algorithms Library Toolkit
A toolkit for algorithms, especially for algorithms on formal languages
Static Public Member Functions
regexp::convert::ToAutomatonDerivation Class Reference

#include <ToAutomatonDerivation.h>

Static Public Member Functions

template<class T , class SymbolType = typename T::symbol_type>
static automaton::DFA< SymbolType, unsigned > convert (const T &regexp)
 

Detailed Description

Converts regular expression to finite automaton using BrzozowskiDerivation algorithm (derivations of regular expressions). Source: Melichar 2.110

Member Function Documentation

◆ convert()

template<class T , class SymbolType >
automaton::DFA< SymbolType, unsigned > regexp::convert::ToAutomatonDerivation::convert ( const T &  regexp)
static

Implements conversion of regular expressions to finite automata using Brzozowski's derivation algorithm.

Template Parameters
Tthe type of regular expression to convert
SymbolTypethe type of symbols in the regular expression
Parameters
regexpthe regexp to convert
Returns
finite automaton accepting the language described by the original regular expression
Here is the call graph for this function:

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