##### Lookahead in parsers

Consider the following statements:

S1: Whenever we apply transition on any symbol the lookahead does not change

S2: The lookahead has effect on items of the form

[A → α. β, a] where β ≠ ∈ and [A → α., a]

Which of the above statements are true wrt LR(1) items?

Both are true

how b is true

If beta is non-terminal then we have to define closure of beta

So to determine lookaheads of new production it is useful.

So, look ahead has effects on items....