Construct SLR parsing goto transition table from C: The goto transition for state i is constructed using the rule: If Goto(I i , A) = I j , then Goto[i, A] = j. Here ‘A’ is a non-terminal symbol. In addition, all entries not defined by the former rules are made 'error’; The initial state of the parser is the one constructed from the set of items containing [S' → •S].