Parsing SLR解析-具有epsilon生成

假设我有：

S -> A
A -> B C A a | ϵ
B -> k | ϵ
C -> m

现在在初始状态下

S'->S

，我将包括：

S'->.S

然后关闭S:

A->.B C A

，

A->。

显然，闭包还包括

B->.k

和

B->.

但是既然B->ϵ是一个产品，我是否也必须在初始状态中包含

C->，m

？因为在

A->bca A

中，B可以是ϵ

---

我只是想知道我是否正确，这是否是处理语法中ε的正确方法。如果没有，一定要指引我正确的方向。谢谢

否，

C->。m

不是初始状态的一部分，因为如果没有前面的

B

（即使

B

从

ε

减少），也不能减少

C

）