如何顯示語法不是LL（1）並將語法轉換爲LL（1）

Question

我試圖在此語法中找到歧義，因此我可以將其刪除並將其轉換爲LL（1），但是對於生活我無法找到模糊的地方。任何幫助都感激不盡。

D -> if (C) {S} | if (C) {S} else {S} 
S -> D | SA | A 
A -> V = T; 
V -> x | y 
T -> 1 | 2 
C -> true | false 

Answer 1

語法不含糊。但是，它不是LL（1），因爲當前瞻標記爲if時，無法知道D的兩個製作中的哪一個將被使用。

要成爲LL（1），您需要left-factorD。