 The only checking of input symbols occurs when the symbol is shifted in.Checking of lookaheads for reductions is done separately by the parse table, not by the enumerated states themselves.The parse table describes all possible LR(0) states and their transitions.