LR(1) Bottom up parser, left to right, rightmost derivation in reverse. Uses a single lookahead token.