如何显示语法不是 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-factor D。