parsing - LR(1) 自动机：项目之间的差异

Question

我对LR(1)自动机构造有疑问：

内核[A->b., x] (state_1)的状态是否等同于内核[A->b.,x/y] (state_2)的状态？

就像，如果我处于状态[A->.b, x]和 shift_b 状态，如果我已经有 state_2，是否需要创建 state_1？

希望很清楚。