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)
94 extern FAUDES_API void ReachableStateMap(const PushdownGenerator& rPd, std::map<Idx, StateSet>& rMap);
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,
157 extern FAUDES_API PushdownGenerator RemainingPd(const Grammar& rGr, const PushdownGenerator& pd);
195 extern FAUDES_API Grammar Sp2Lr(const PushdownGenerator& rPd, uint n=0, bool ignorReducible = false, bool debug = false);
207 extern FAUDES_API std::set<Nonterminal> Filter(const std::set<Nonterminal>& symbolSet, const GrammarSymbolVector& w);
220 extern FAUDES_API std::set<Nonterminal> Rnpp1(const Grammar& gr, const std::set<Nonterminal>& ntSet);
325 extern FAUDES_API bool CombinedTransitions(Idx q,PushdownGenerator& rPd, /*std::set<Idx>&*/ StateSet& next,/*std::set<Idx>&*/ StateSet& done);
348 extern FAUDES_API std::set<std::pair <Transition,Transition> > PossibleAdjacentMerges (Idx q, const PushdownGenerator& pd);
libFAUDES 2.28c --- 2016.09.30 --- c++ api documentaion by doxygen |