next up previous contents
Next: Inadequte States Up: Handle-recognising DFAs and LR(0) Previous: Operation of a handle-recognising   Contents

The $LR(k)$ parsers

Any parser constructed using the above method will be a member of the family of $LR(k)$ parsers:

L
= scanning the input from Left to right
R
= Conducting a Rightmost derivation (in reverse)
k
= using $k$ symbols of lookahead.

As usual, lookahead is indicated by the presence of FIRST or FOLLOW somewhere in the construction. We did not use them above, so we have constructed a $LR(0)$ parser.



James Power 2002-11-29