LR(1) Автоматы: разница между предметами

Question

У меня есть сомнения относительно конструкции автоматов LR(1):

Является ли состояние с ядром [A->b., X] (state_1) эквивалентным состоянию с ядром [A->b., X / y] (state_2)?

Например, если я нахожусь в состоянии [A->. B, x] и shift_b из этого состояния, нужно ли мне создавать state_1, если у меня уже есть state_2?

Надеюсь, это понятно.