如何显示语法不是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），您将需要左因子 D