Resolving Shift/Reduce Conflicts[slide by John Werth.]

The rule for reducing shift/reduce conflicts is:

• reduce if the precedence of the production is greater than that of the terminal or if they are equal and the associativity of the production is left.
• shift otherwise.

Our Pascal grammar has a shift/reduce conflict in the case of the if statement; these rules resolve it in favor of shift, which does the right thing.