如何解决什么决定了解析器尝试哪种产品?
我正在尝试为台式计算器构建解析器,并为此使用以下野牛代码。
%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 → S ';' 14 | CS ';' 8
S → ID '=' E 13 | E 12
E → E '+' T 11 | E'-' T 10 | T 9
T → T '*' F 7 | T "/" F 6 | F 5
F → G '@' F 4 | G 3
G → '(' E ')' 2 | NUM 1 | ID 0
使用顶级/启动配置 C。(为了完整起见,我在 8 和 14 中添加)。
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;
.
.
.
}
版权声明:本文内容由互联网用户自发贡献,该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容, 请发送邮件至 dio@foxmail.com 举报,一经查实,本站将立刻删除。