When b ( in the LR(1) item A→ a • b ,a ) is not empty, the look-ahead does not have any affect. When b is empty (A→ a •,a ), we do the reduction by A→ a only if the next input symbol is a (not for any terminal in FOLLOW(A)). A state will contain A→ a •,a 1 where {a 1 ,...,a n } Í FOLLOW(A) ... A→ a •,a n