Shift/Reduce Parsing

When the parser has found all the symbols to satisfy the RHS of a rule, it pops these symbols off of the stack, and pushes the LHS symbol onto the stack. This is called a reduction.
When a rule is reduced, its action (on the RHS) is executed.