为什么这不是语法 LL(1)
Why this is not grammar LL(1)
我接到任务将此语法转换为 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)。
你的语法还是有歧义，所以不可能是 LL(1)。
这个产生式 F → -E 可以在它们不应出现的级别（一元运算符）中混合具有较低优先级运算符的表达式。
注意 id + - id + id 有两个推导树。
你不应该在那里使用 E，而是一个代表原子值的符号。你可以替换
F → id | num | -E | (E)
和
F → -A | A
A → id | num | (E)
或者 F → -F | A 如果你想允许多个一元负数。
我接到任务将此语法转换为 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)。
你的语法还是有歧义，所以不可能是 LL(1)。
这个产生式 F → -E 可以在它们不应出现的级别（一元运算符）中混合具有较低优先级运算符的表达式。
注意 id + - id + id 有两个推导树。
你不应该在那里使用 E，而是一个代表原子值的符号。你可以替换
F → id | num | -E | (E)
和
F → -A | A
A → id | num | (E)
或者 F → -F | A 如果你想允许多个一元负数。