如何製作此文法LL（1）？

Question

起初我有這個語法。

S -> A | B 
A -> Aa | epsilon 
B -> Bb | epsilon 

我消除左遞歸有這樣：

S -> A | B 
A -> A' 
A' -> aA' | epsilon 
B -> B' 
B' -> bB' | epsilon 

此語法不是LL（1）爲第一（A）和第一（B）在常見已EPSILON。我知道常見的第一個符號通常用分解法來解決。我不知道如何解決A和B第一組中的常見ε。

Answer 1

語法是模糊的，因爲一個空字符串可以通過任一小號 → 來製造甲 →＆小量;或S → B →＆epsilon ;.爲了使語法可以解析，你需要解決歧義。

最簡單的可能是添加規則S →＆epsilon;然後將其從A和B中刪除，使得它們的基本產物分別是a和b。