I have a doubt regarding the LR(1) automata construction:
Is the state with the kernel [A->b., x] (state_1) equivalent to the state with the kernel [A->b.,x/y] (state_2)?
Like, if I'm on the state [A->.b, x] and shift_b from this state, do I need to create state_1 if I already have state_2?
Hope it's clear.