什么决定了解析器尝试哪种产品？

问题描述

我正在尝试为台式计算器构建解析器，并为此使用以下野牛代码。

%union{
    float f;
    char c;
    // int 
}

%token <f> NUM
%token <c> ID
%type <f> S E T F G

%%

C   :   S ';'
    |   C S ';'
    ;

S   :   ID '=' E    {fprintf(debug,"13\n");printf("%c has been assigned the value %f.",$1,$3);symbolTable[$1]=$3;}
    |   E           {fprintf(debug,"12\n");result = $$;}
    ;

E   :   E '+' T     {fprintf(debug,"11\n");$$ = $1+$3;}
    |   E '-' T     {fprintf(debug,"10\n");$$ = $1-$3;}
    |   T           {fprintf(debug,"9\n");$$ = $1;}
    ;

T   :   T '*' F     {fprintf(debug,"7\n");$$ = $1*$3;}
    |   T '/' F     {fprintf(debug,"6\n");$$ = $1/$3;}
    |   F           {fprintf(debug,"5\n");$$ = $1;}
    ; 

F   :   G '@' F     {fprintf(debug,"4\n");$$ = pow($1,$3);}
    |   G           {fprintf(debug,"3\n");$$ = $1;}
    ;

G   :   '(' E ')'   {fprintf(debug,"2\n");$$ = $2;}
    |   NUM         {fprintf(debug,"1\n");$$ = $1;}
    |   ID          {fprintf(debug,"0\n");$$ = symbolTable[$1];}
    ;

%%

我的 LEX 规则是

digit   [0-9]
num     {digit}+
alpha   [A-Za-z]
id      {alpha}({alpha}|{digit})*
white   [\ \t]

%%
let     {printf("let");return LET;}
{num}   {yylval.f = atoi(yytext);return NUM;}
{alpha} {yylval.c = yytext[0];return ID;}
[+\-\*/@\(\)]   {return yytext[0];}
.       {}
%%

我给出的输入是a=2+3 当词法分析器返回 ID(for 'a') 时，解析器将使用 fprintf(debug,"0\n") 进行生产。但我希望它用于生产 fprintf(debug,"13\n")。

所以，我想知道是什么让我的解析器减少生产 0，而不是将 = 转移到堆栈，我该如何控制它？

解决方法

C 生成的单词只有一个，通过这个翻译语法，包含 ID '=' NUM '+' NUM 作为输入标记的子词，即 ID ('a') '=' NUM('2 ') 1 3 5 9 '+' NUM('3') 1 3 5 11 13 ';' 14，它等于输入-输出对（ID '=' NUM '+' NUM ';',1 3 5 9 1 3 5 11 13 14）。因此，序列 1 3 5 9 1 3 5 11 13 14 是唯一的翻译。如果语法是 LALR(1)，那么就会产生这个翻译结果；语法是 LALR(1)。

如果你没有得到这个结果，那只能意味着你在描述中遗漏了任何错误：即词法分析器......或者你的语法处理器有错误或你的机器有故障。

而且，不；实际上，您所做的是查看正在发生的事情的更好方法 - 只需将单个 printf 语句粘贴到每个规则的右侧，然后以这种方式运行它以查看生成的翻译序列。出于这个原因，解析器生成器中的“跟踪”工具是多余的……至少是它通常的实现方式（更多内容见下文）。此外，您可以使用 -v 选项直接查看所有内容，该选项会生成带有 LALR(1) 注释的 LR(0) 表。

实际上更有用的那种内置测试工具——尤其是对于这样的例子——正是我所描述的：一种与输出动作交错的输入相呼应的工具。所以，当你在 "a = 2 + 3 ;" 上运行它时，它会给你 ID('a') '=' NUM('2') 1 3 5 9 '+' NUM('3') 1 3 5 11 13 ';' 14 回声打开，只有 1 3 5 9 1 3 5 11 13 14 回声关闭。这实际上作为内置功能更有用，而不是您通常在 yacc 实现中看到的跟踪模式。

POSIX 规范实际上未解决如何在符合 yacc 的实现中实现“YYDEBUG”、“yydebug”和“-t”的问题，以便为此类替代方法腾出空间。

好吧，事实证明问题是我没有在我的 LEX 中将 = 识别为令牌。

尽管听起来很愚蠢，但它指出了 yacc/Bison 的一个非常重要的概念。通过检查下一个符号（也称为前瞻）来回答是移位还是减少的问题。在这种情况下，由于我的 LEX 代码错误，前瞻是 NUM(for 2) 而不是 =。由于没有涉及 ID 后跟 NUM 的产生式，因此将减少到 G。

关于我是怎么想出来的，结果发现野牛有一个内置的 trace feature。无论解析时做什么，它都像日记一样整齐地排列。每一步都写下来。

要启用它，

使用 bison 选项运行 -Dparse.trace。

bison calc.y -d -Dparse.trace

在解析器的主函数中，获取 extern yydebug 并将其设置为非零值。

int main(){
   extern int yydebug;
   yydebug = 1;
   .
   .
   .
}

bison bison lex parsing parsing yacc