如何判断上下文无关文法中操作符的优先级

Question

如何判断下列上下文自由文法中的下列逻辑操作中的哪一个（或者和非）具有较高的优先级？是否有这种问题的一般方法？

X→X或Y | Y

Y→Y和Z | Z

Z→not Z | （X）| true |假

Answer 1

下面是一个例子方法：

expr -> addExpr; 
addExpr -> multExpr (('+'|'-') multExpr)*; 
multExpr -> terminalExpr (('*'|'/') terminalExpr)*; 
terminalExpr -> integer | variable | '(' expr ')'; 

但相关性不明确。下面是BNF更明确的方式：

expr -> addExpr; 
addExpr -> addExpr '+' multExpr | addExpr '-' multExpr | multExpr; 
multExpr -> multExpr '*' terminalExpr | multExpr '/' terminalExpr | terminalExpr; 
terminalExpr -> integer | variable | '(' expr ')'; 

这些语法定义了运营商*和/具有更优先为+和-。您在解析树中更深入地声明操作的优先级更高，因此它们将首先被解析器尝试。