0

我尝试使用编写一个基本的语法检查器bisonc++

规则是：

expression -> OPEN_BRACKET expression CLOSE_BRACKET
expression -> expression operator expression

operator -> PLUS
operator -> MINUS

如果我尝试运行编译后的代码，我会在这一行得到一个错误：

(a+b)-(c+d)

应用第一条规则，最左边和最右边的括号是 theOPEN_BRACKET和CLOSE_BRACKET。剩下expression的是：a+b)-(c+d

如何防止这种行为？是否可以计算开括号和闭括号？

编辑

表达式语法：

expression:
    OPEN_BRACKET expression CLOSE_BRACKET
    {
        //
    }        
| operator
    {
        //
    }        
| VARIABLE
    {
        //
    }

;


operator:
    expression PLUS expression
    {
        //
    }

| expression MINUS expression
    {
        //
    }

;

编辑2

词法分析器

CHAR  [a-z]
WS    [ \t\n]

%%

{CHAR}+     return Parser::VARIABLE;

"+"         return Parser::PLUS;
"-"         return Parser::MINUS;

"("         return Parser::OPEN_BRACKET;
")"         return Parser::CLOSE_BRACKET;
4

2 回答 2

4

这不是一个正常的表达式语法。试试普通的。

expression
    : term
    | expression '+' term
    | expression '-' term
    ;
term
    : factor
    | term '*' factor
    | term '/' factor
    | term '%' factor
    ;
factor
    : primary
    | '-' factor // unary minus
    | primary '^' factor // exponentiation, right-associative
    ;
primary
    : identifier
    | literal
    | '(' expression ')'
    ;

还要注意上面的缩进和对齐方法，你只需yytext[0]要从词法分析器中返回单个特殊字符：你不需要特殊的标记名称，没有它们就更易读：

CHAR [a-zA-Z]
DIGIT [0-9]
WHITESPACE [ \t\r\n]
%%
{CHAR}+       { return Parser::VARIABLE; }
{DIGIT}+      { return Parser::LITERAL; }
{WHITESPACE}+ ;
.             { return yytext[0]; }
于 2016-02-28T20:48:20.980 回答
1

您的操作员规则看起来不太好。

尝试尝试：

expression:
    OPEN_BRACKET expression CLOSE_BRACKET
    {
        //
    }

|

    expression operator expression
    {
        //
    }

|

    VARIABLE
    {
        //
    }

;


operator:
    PLUS
    {
        //
    }

|

    MINUS
    {
        //
    }
;

正如您的伪代码实际上所暗示的那样......

于 2016-02-28T21:30:31.223 回答