我正在尝试匹配这个
f(some_thing) == 'something else'
-
f(某物)是一个函数调用,它是一个表达式
-
==是一个布尔运算符
-
'别的东西'是一个字符串,也是一个表达式
所以布尔表达式应该是
expression operator expression
问题是我不知道如何在没有左递归的情况下做到这一点
这是我的规则
expression
=
bool_expression
/ function_call
/ string
/ real_number
/ integer
/ identifier
bool_expression
= l:expression space* op:bool_operator space* r:expression
{ return ... }
使用语法符号,我有
O := ==|<=|>=|<|>|!= // operators
E := B|.... // expression, many non terminals
B := EOE
因为我的语法是 EOE 我不知道如何使用左手算法
A := Ab|B
transforms into
A := BA'
A':= e|bA
其中 e 为空,b 为终结符
像这样的事情应该这样做:
expression
= bool_expression
bool_expression
= add_expression "==" bool_expression
/ add_expression "!=" bool_expression
/ add_expression
add_expression
= mult_expression "+" add_expression
/ mult_expression "-" add_expression
/ mult_expression
mult_expression
= atom "*" mult_expression
/ atom "/" mult_expression
/ atom
atom
= function_call
/ string
/ real_number
/ integer
/ identifier
function_call
= identifier "(" (expression ("," expression)*)? ")"
string
= "'" [^']* "'"
identifier
= [a-zA-Z_]+
integer
= [0-9]+
real_number
= integer "." integer?
/ "." integer
本文内容由网友自发贡献,版权归原作者所有,本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容,请联系:hwhale#tublm.com(使用前将#替换为@)