LALR语法不明确

Question

我已经制作了布尔和算术表达式的语法。我想要处理这样的算术表达式：

(1+5)+(-3)   

我已经完成了这项工作:我可以处理所有我想要的表达式。

我的问题是布尔表达式可能是这样的：

( ( (2+2==4) or (3>2) ) and 2==2)

所以在某些时候，我的布尔规则必须引用我的算术表达式规则。我不能在我的布尔规则中使用括号()，因为它会导致我的语法不明确。我明白为什么，但是我想不出解决这个问题的办法。

Answer 1

这篇为GOLD编写的LALR语法应该能让你入门：

<Formula>     ::= <BoolConcat> <Formula> | <BoolConcat> 

<BoolConcat> ::= <BoolConcat> 'and' <Comparison> | <Comparison>

<Comparison> ::=  <Comparison> '>' <Expression> | <Expression> 

<Expression> ::= <Expression> '+' <Term> | <Term>

<Term> ::= <Term> '*' <Fact> | <Fact>

<Fact> ::= Integer | '(' <BoolConcat> ')'

对于bool部分，将重用算术语法的典型概念。没有什么新的东西，只是不同类型的布尔运算符的优先级有了新的提升。

只需在比较中添加'==‘，在BoolConcat中添加'or’，依此类推。