用ll1文法编写语言时算术表达式必然会与赋值语句冲突吗

Question

如标题，我在设计文法时遇到的问题，产生了冲突没想到办法解决，

Answer 1

在使用 LL(1) 文法编写语言时，算术表达式和赋值语句可能会出现冲突。因为LL(1) 文法的产生式右部最多只能有一个终结符，因此无法通过产生式来区分算术表达式和赋值语句。

举个例子，假设你希望使用 LL(1) 文法编写一个简单的计算器语言。你可能会定义一些产生式如下：

expr    -> term {addop term}
term    -> factor {mulop factor}
factor  -> number | '(' expr ')'
addop   -> '+' | '-'
mulop   -> '*' | '/'
number  -> digit {digit}
digit   -> '0' | '1' | '2' | '3' | '4' | '5' | '6' | '7' | '8' | '9'

这些产生式可以表示算术表达式的语法，但是无法表示赋值语句的语法。

因此，当你希望编写一个语言时，如果算术表达式和赋值语句会出现冲突，可以考虑使用其他文法，比如 LALR(1) 文法或者 LR(1) 文法。