Re: LALR(1) differences to LR(1)

aegis asked:
<snip>
> Also, what is
> considered a follow set in contrast with a lookahead set?
<snip>


From my very limited understanding, the follow set is the set of
tokens that may follow a given production step (that is, an "Item", in
LR terms), while the lookahead set is the set of tokens that is used
by a parser to decide which alternative production to take at a given
point in parsing time.


The lookahead set is built in terms of the follow set of the Item being
evaluated, but may (contrary to follow sets, it seems to me) include
the follow sets of additional items, according to the level of
lookahead specified.


In other words, one token of lookahead would require the parser to
consider just the immediate follow set of the Item being parsed. Two
tokens of lookahead would require the parser to consider also the
follow sets of all the items that contributed to the current follow
set, and so on.


Regards,


Branco.

Return to the comp.compilers page.
Search the comp.compilers archives again.