我正在为一种非常简单的规则语言创建正式规范,非常简单。
我想使用 EBNF,因为这是一个标准,但我不知道如何指定操作顺序。这是到目前为止的规范。
rule = statement, { (‘AND’|’OR’), statement};
variable = ‘$’,alphabetic character, {alphabetic character | digit};
statement = variable, [ ‘count’,[white space ],’>’,[white space],number ];
alphabetic character = "A" | "B" | "C" | "D" | "E" | "F" | "G"
| "H" | "I" | "J" | "K" | "L" | "M" | "N"
| "O" | "P" | "Q" | "R" | "S" | "T" | "U"
| "V" | "W" | "X" | "Y" | "Z" ;
number = [ "-" ] , digit , { digit } ;
digit = "0" | "1" | "2" | "3" | "4" | "5" | "6" | "7" | "8" | "9" ;
white space = ? white space characters ? ;
我的问题是如何表明应该首先评估括号中的内容。
所以像这样的事情
$strap AND ($greenSticker count > 5 OR ($greenSticker AND $redSticker))
这似乎是大多数语言的共同特征,但我的谷歌技能让我失败,我似乎找不到例子。
将此作为 LL 语法的简化示例:
expression -> (+|-|ε) term ((+|-) term)*
term -> factor ((*|/) factor)*
factor -> var | number | (expression)
如您所见,优先级较低的运算符 (+
and -
) 比更高优先级的运算符 (*
and /
)。这一切都是为了生成正确的解析树。但根据经验,“外部”或更一般的规则的优先级较低,这就是为什么加法和减法运算符被放置在旁边term
, 因为term
必须进一步推导。如果您查看更复杂的语法,您会发现这是为了获得适当的优先级而采取的极端做法。
本文内容由网友自发贡献,版权归原作者所有,本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容,请联系:hwhale#tublm.com(使用前将#替换为@)