pd_alg_sub.h
Go to the documentation of this file.
18 //Convenience definition for a vector which contains each transformation from PDA to SPDA by function SPDA
63 * The function also removes states, that do not reach a marked state (with regard to the top n elements)
104 * The parameter pTransformHistory is necessary to remember the transformations of each iteration.
125 * This mean, if a transition t of the original generator was split into two or more transitions t1...tn of the SPDA,
195 Grammar Sp2Lr(const PushdownGenerator& rPd, uint n=0, bool ignorReducible = false, bool debug = false);
207 std::set<Nonterminal> Filter(const std::set<Nonterminal>& symbolSet, const GrammarSymbolVector& w);
325 bool CombinedTransitions(Idx q,PushdownGenerator& rPd, /*std::set<Idx>&*/ StateSet& next,/*std::set<Idx>&*/ StateSet& done);
348 std::set<std::pair <Transition,Transition> > PossibleAdjacentMerges (Idx q, const PushdownGenerator& pd);
libFAUDES 2.26g --- 2015.08.17 --- c++ api documentaion by doxygen |