LL(1) 语法中赋值和表达式的区别

Question

我正在为 LL(1) 形式的简单编程语言编写语法。

对于表达式，我有以下内容

<expression> ::= 
  <term> “+” <expression> 
| <term> “-” <expression> 
| <term>

<term> ::=
  <factor> “*” <expression> 
| <factor> “/” <expression>
| <factor>

<factor> ::= 
“(” <expression> “)”
| id
| num

对于我的任务

<assignment> ::= id “=“ <expression>

据我了解，这不是 LL(1) 形式，因为左侧的 ID 可能表示表达式或赋值，我需要额外的前瞻来确定哪个。

我怎样才能将其重写为 LL(1) 形式？

Answer 1

您只显示部分语法，但除非您允许独立表达式作为有效语句，否则您所显示的内容不应有任何歧义。

如果您确实允许将独立表达式作为语句，您可以像这样定义赋值语法：

<assignment>  ::= <expression> <assignment2>
<assignment2> ::= "=" <expression>
                  | E

然后让语义分析阶段确定第一个表达式是否是有效的左值。这可能是一件好事，因为它可能允许分配比单纯的标识符更复杂的事物，例如数组表达式或取消引用的指针。