Algorithms Library Toolkit
A toolkit for algorithms, especially for algorithms on formal languages
Static Public Member Functions
arbology::exact::ExactSubtreeAutomaton Class Reference

#include <ExactSubtreeAutomaton.h>

Static Public Member Functions

template<class SymbolType >
static automaton::InputDrivenNPDA< common::ranked_symbol< SymbolType >, char, unsigned > construct (const tree::PrefixRankedTree< SymbolType > &tree)
 

Member Function Documentation

◆ construct()

template<class SymbolType >
automaton::InputDrivenNPDA< common::ranked_symbol< SymbolType >, char, unsigned > arbology::exact::ExactSubtreeAutomaton::construct ( const tree::PrefixRankedTree< SymbolType > &  tree)
static

Performs conversion.

Returns
left regular grammar equivalent to source automaton.
Here is the caller graph for this function:

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