added SLR(1) goto table generator

alib2algo/src/grammar/parsing/SLR1ParseTable.cpp

@@ -67,6 +67,23 @@ LRActionTable SLR1ParseTable::getActionTable ( grammar::CFG originalGrammar ) {
 	return actionTable;
 }
+LRGotoTable SLR1ParseTable::getGotoTable ( grammar::CFG originalGrammar ) {
+	LRGotoTable gotoTable;
+	grammar::CFG augmentedGrammar = LRParser::getAugmentedGrammar ( originalGrammar );
+	automaton::DFA parsingAutomaton = LR0Parser::getAutomaton ( originalGrammar );
+	for ( const automaton::State & state : parsingAutomaton.getStates ( ) ) {
+		std::map < std::pair < automaton::State, alphabet::Symbol >, automaton::State > transitionsFromCurrentState = parsingAutomaton.getTransitionsFromState ( state );
+		for ( const alphabet::Symbol & nonterminal : augmentedGrammar.getNonterminalAlphabet ( ) ) {
+			std::map < std::pair<automaton::State, alphabet::Symbol >, automaton::State >::iterator transitionIterator = transitionsFromCurrentState.find ( { state, nonterminal } );
+			if ( transitionIterator != transitionsFromCurrentState.end ( ) ) {
+				gotoTable.insert ( { { state, nonterminal }, transitionIterator->second } );
+			}
+		}
+	}
+
+	return gotoTable;
+}
+
 } /* namespace parsing */
 } /* namespace grammar */

alib2algo/src/grammar/parsing/SLR1ParseTable.h

@@ -22,6 +22,8 @@ class SLR1ParseTable {
 public:
 	static LRActionTable getActionTable ( grammar::CFG originalGrammar );
+
+	static LRGotoTable getGotoTable ( grammar::CFG originalGrammar );
 };
 } /* namespace parsing */