為什么這不是語法LL（1）

Question

我被賦予了將語法轉換為LL（1）的任務

E → E+E | E-E | E*E | E/E | E^E | -E | (E)| id | num

因此，第一步，我消除了歧義並得到了：

E → E+T | E-T | T 
T → T*P | T/P | P
P → P ^ F | F
F → id | num | -E | (E)

之后，我消除了左遞歸並得到了這個：

E  → TE'
E' → +TE' | -TE' | ɛ
T  → PT'
T' → *PT' | /PT' | ɛ
P  → FP'
P' → ^FP' | ɛ
F  → id | num | -E | (E)

當我將其放入JFLAP並單擊“ Build LL（1）parse table”時，我收到警告，上面的語法不是LL（1）。

為什么此語法不是LL（1），我需要更改為LL（1）。

Answer 1

您的語法仍然模棱兩可，因此不能為LL（1）。

使用F → -E可以將表達式與較低優先級的運算符混合在不應出現的級別（一元運算符）中。

請注意， id + - id + id具有兩個派生樹。

您不應在此處使用E ，而應使用代表原子值的符號。 您可以更換

F → id | num | -E | (E)

同

F → -A | A
A → id | num | (E)

或F → -F | A 如果要允許多個一元負號，則為F → -F | A