單反解析 - 與小量生產

Question

說我有：

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

現在在初始狀態S' -> S，我要去包括：

S' -> .S
則S關閉：
A -> .B C A a,A -> .
顯然，關閉還包括B -> .k和B -> .。

但是由於B→ε是一種產品，我是否還必須在初始狀態中包含C -> ,m？由於在A -> B C A a中，B可以是ε。

我只是想知道我是否正確，如果這是正確的方法來處理epsilons的語法。如果沒有，請引導我朝正確的方向發展。謝謝！

Answer 1

否，C -> . m不是初始狀態的一部分，因爲C不能沒有先行B（即使B從ε降低）被減小。