grammar::simplify::UnproductiveSymbolsRemover Class Reference

#include <UnproductiveSymbolsRemover.h>

Static Public Member Functions
template<class T , class TerminalSymbolType = typename grammar::TerminalSymbolTypeOfGrammar < T >, class NonterminalSymbolType = typename grammar::NonterminalSymbolTypeOfGrammar < T >>
static T	remove (const T &grammar)

Detailed Description

Algorithm for the removal of unproductive symbols from a context free grammar. Unproductive symbol is a nonterminal symbol that can't be transformed to sentece by any sequence of derivations.

See also

grammar::simplify::Trim

grammar::properties::ReachableSymbols

Member Function Documentation

remove()

template<class T , class TerminalSymbolType , class NonterminalSymbolType >

T grammar::simplify::UnproductiveSymbolsRemover::remove ( const T &  grammar )

static

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/grammar/simplify/UnproductiveSymbolsRemover.h