dd/de5/ToPostfixPushdownAutomatonGlushkov_8h_source.html

#pragma once


#include "ToFTAGlushkov.h"

#include <automaton/convert/ToPostfixPushdownAutomaton.h>


namespace rte {


namespace convert {


class ToPostfixPushdownAutomatonGlushkov {


public:

    template < class SymbolType >

    static automaton::NPDA < ext::variant < common::ranked_symbol < SymbolType >, alphabet::EndSymbol >, ext::variant < ext::set < common::ranked_symbol < ext::pair < SymbolType, unsigned > > >, alphabet::BottomOfTheStackSymbol >, char > convert ( const rte::FormalRTE < SymbolType > & rte );

};


template < class SymbolType >

automaton::NPDA < ext::variant < common::ranked_symbol < SymbolType >, alphabet::EndSymbol >, ext::variant < ext::set < common::ranked_symbol < ext::pair < SymbolType, unsigned > > >, alphabet::BottomOfTheStackSymbol >, char > ToPostfixPushdownAutomatonGlushkov::convert ( const rte::FormalRTE < SymbolType > & rte ) {

    return automaton::convert::ToPostfixPushdownAutomaton::convert ( ToFTAGlushkov::convert ( rte ) );

}


} /* namespace convert */


} /* namespace rte */


ToFTAGlushkov.h

ToPostfixPushdownAutomaton.h

alphabet::BottomOfTheStackSymbol
Represents bottom of the stack symbol used in the visibly pushdown automata.
Definition: BottomOfTheStackSymbol.h:35

alphabet::EndSymbol
Represents end symbol used as termation symbol of a string.
Definition: EndSymbol.h:35

automaton::NPDA
Definition: NPDA.h:74

automaton::convert::ToPostfixPushdownAutomaton::convert
static automaton::DPDA< ext::variant< common::ranked_symbol< SymbolType >, alphabet::EndSymbol >, ext::variant< StateType, alphabet::BottomOfTheStackSymbol >, char > convert(const automaton::DFTA< SymbolType, StateType > &dfta)
Definition: ToPostfixPushdownAutomaton.h:61

ext::variant
Implementation of the variant class allowing to store any type of those listed in the template parame...
Definition: variant.hpp:98

rte::FormalRTE
Formal regular tree expression represents regular tree expression. It describes regular tree language...
Definition: FormalRTE.h:71

rte::convert::ToFTAGlushkov::convert
static automaton::NFTA< SymbolType, ext::set< common::ranked_symbol< ext::pair< SymbolType, unsigned > > > > convert(const rte::FormalRTE< SymbolType > &rte)
Definition: ToFTAGlushkov.h:54

rte::convert::ToPostfixPushdownAutomatonGlushkov
Definition: ToPostfixPushdownAutomatonGlushkov.h:22

rte::convert::ToPostfixPushdownAutomatonGlushkov::convert
static automaton::NPDA< ext::variant< common::ranked_symbol< SymbolType >, alphabet::EndSymbol >, ext::variant< ext::set< common::ranked_symbol< ext::pair< SymbolType, unsigned > > >, alphabet::BottomOfTheStackSymbol >, char > convert(const rte::FormalRTE< SymbolType > &rte)
Definition: ToPostfixPushdownAutomatonGlushkov.h:40

convert
Definition: converterCommon.hpp:8

rte
Definition: ToFTAGlushkov.h:22