LR（1）解析，前瞻符号的问题

Question

我了解LR（1）解析和超前符号的概念。 我有练习的解决方案，但与我的解决方案不同。

我正在尝试为以下语法填充LR（1）解析表：

S->xAz 
S->BAx
A->Ay
A->e
B->yB
B->y

我不必扩展语法，因为S不会出现在任何规则的任何右侧。

First(A)=y,e
First(Ax)=x,y
First(B)=y
First(Ay)=y

括号中的前瞻符号。

因此，I0 =闭包（S->。xAz（$），S->。BAx（$））=

S->.xAz($)
S->.BAx($)
B->.yB(x,y)
B->.y(x,y)

当我尝试GOTO（0，x）时，我认为我应该去：

S->x.Az($)
A->.Ay(z)
A->. (z) 

查找A->的超前符号。 ＆A->。Ay我选First（z）。 但是官方的书籍解决方案说，前瞻是（z，y）。 y是从哪里来的？

先感谢您