# Tag Info

It may help to think in terms of lookahead sets, rather than lookahead symbols. So the item set in state 4 is actually: $$\left[ C \rightarrow d \cdot, \left\{ c, d \right\} \right]$$ According to the definition of a $LR(1)$ automaton, what you should do is look at the lookahead symbol. If it's $c$ or $d$, then reduce by $C \rightarrow d$, otherwise it's a ...