grammar::simplify::UnreachableSymbolsRemover Class Reference

#include <UnreachableSymbolsRemover.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 unreachable symbols from a context free grammar. Unreachable symbols is a symbol that is not accessible from the initial symbol of the automaton 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::UnreachableSymbolsRemover::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/UnreachableSymbolsRemover.h