- html - 出于某种原因,IE8 对我的 Sass 文件中继承的 html5 CSS 不友好?
- JMeter 在响应断言中使用 span 标签的问题
- html - 在 :hover and :active? 上具有不同效果的 CSS 动画
- html - 相对于居中的 html 内容固定的 CSS 重复背景?
我正在尝试将计算器从 Bison 转换为 Lemon。
我遇到了一个涉及标准输入的意外问题,其中这两个程序的行为完全不同。野牛版按 [Enter] 后立即打印结果。随着柠檬版,结果延迟到我输入新的表达式并按 [Enter]。
我创建了微型 Bison 和 Lemon 语法以及 Flex 扫描仪说明问题。这是在 Windows 7 上,使用 2014 年 7 月Lemon、Bison 2.41 和 gcc (tdm64-2) 4.8.1 版本。
与 Bison 版本的简单 session
注意按 [Enter] 后返回结果的方式简单的表达式。
柠檬版的简单 session
注意结果是如何只在输入 a 后返回的第二个表达式并按下 [Enter](ctrl Z 信号cmd.exe 的输入结束)。
我做错了什么?
badd.l:
%{
#include "y.tab.h"
#include <stdlib.h>
%}
%%
[0-9]+ {yylval = atoi(yytext); return INTEGER;}
[+] return PLUS;
[\n] return NL;
[ \t] ; /* skip whitespace */
. {printf("Unknown character '%c'\n", yytext[0]); return 0;}
%%
int yywrap(void) {
return 1;
}
badd.y:
%{
#include <stdio.h>
int yylex(void);
void yyerror(char *);
%}
%token INTEGER PLUS NL
%left PLUS MINUS
%%
prog: prog expr NL { printf("%d\n", $2); }
|
;
expr: INTEGER { $$ = $1; }
| expr PLUS expr { $$ = $1 + $3; }
;
%%
void yyerror(char *s) {
fprintf(stderr, "%s\n", s);
}
int main(void) {
yyparse();
return 0;
}
构建:
bison -y -d badd.y
flex badd.l
gcc y.tab.c lex.yy.c -o badd.exe
ladd.l
%{
#include "ladd.h"
#include <stdlib.h>
extern int yylval;
%}
%%
[0-9]+ {yylval = atoi(yytext); return INTEGER;}
[+] return PLUS;
[\n] return NL;
[ \t] ; /* skip whitespace */
. {printf("Unknown character '%c'\n", yytext[0]); return 0;}
%%
int yywrap(void) {
return 1;
}
小伙子:
%include { #include <assert.h> }
%syntax_error { printf("Lemon syntax error\n"); }
%token_type {int}
%left PLUS MINUS .
start ::= prog .
prog ::= prog expr(a) NL . { printf("%d\n", a); }
prog ::= .
expr(a) ::= INTEGER(b) . { a = b; }
expr(a) ::= expr(b) PLUS expr(c) . { a = b + c; }
main.c:
#include <stdio.h>
#include <stdlib.h>
void *ParseAlloc(void *(*mallocProc)(size_t));
void ParseFree(void *p, void (*freeProc)(void*));
void Parse(void *yyp, int yymajor, int foo);
int yylex(void);
int yylval;
int main(void) {
void *pParser;
int tok;
pParser = ParseAlloc(malloc);
while ((tok = yylex()) != 0) {
Parse(pParser, tok, yylval);
}
Parse(pParser, 0, 0);
ParseFree(pParser, free );
return 0;
}
构建:
lemon ladd.y
flex ladd.l
gcc main.c ladd.c lex.yy.c -o ladd.exe
最佳答案
如果只有一个可能的归约 Action 而没有可能的移位 Action ,则 Bison LALR(1) 解析器将立即归约。 (这并不意味着所有的前瞻标记都具有相同的减少操作。有些可能是错误的,但无论如何都会发生减少。)
Lemon 没有实现这个优化。它总是需要一个前瞻 token 。 (但是,它也执行表压缩 IIRC,因此即使前瞻标记表明输入格式不正确,它也可能会进行缩减。这是 LALR(1) 解析的一个特性。)
解决问题的关键是确保打印表达式值的缩减是使用换行符作为前瞻标记执行的。在 Yacc 或 Bison 中,您可以通过中间规则操作来执行此操作,但 Lemon 没有实现这些,因此您需要添加一个单元规则才能触发操作,如下所示:
start ::= prog .
prog ::= prog print NL .
prog ::= .
print ::= expr(a) . { printf("%d\n", a); }
这里,从 expr
到 print
的简化仅仅是为了打印表达式的值。
顺便说一句,此解决方案也可以与 Yacc 或 Bison 一起使用。它可以说比依赖 Bison 的前瞻优化更好,据我所知,它并不能保证在所有情况下都能正常工作。
关于parsing - Bison/YACC vs. Lemon vs. 标准输入,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/24833465/
我有一个使用 Yacc 编写的语法。语法的相关部分摘录在这里 postfix : primary | postfix '[' expr ']' | postfix '[' ex
如何在 bison/yacc 中使用继承的属性? 说,我有这样的语法 - 程序 -> stmts 我想做的是在 Bison 身上: 程序:stmts {$$.next = newLabel(); $1
有什么方法可以更改 Bison 错误消息的格式?例如,不要说 syntax error, unexpected T_ID, expected ';' or T_IMPORT说 unexpected i
我的语法有这两个标记声明: %token RP %token ELSE 而这两条规则: Statement : IF LP Exp RP Statement; Statement : IF LP
如果有一个表单的输入文件: BEGIN stuff.... END BEGIN stuff ... END 我的 .y 文件是这样的 %token BEGIN %token END %star
我希望为现有语言创建一个 JavaScript 解析器,该语言目前具有笨拙的“手工制作”C# 和 Java 解析器。我想使用 Jison,并且也一直在尝试学习 Bison 的基础知识。 我不确定如何回
目前我正在研究一个源到源编译器,我已经编写了一个野牛解析器,可以正确地为输入创建 AST。我现在需要对语法树进行多次转换,因此我需要向树中插入许多节点。 我可以手动创建所有要添加到语法树中的结构体/联
如果有一个表单的输入文件: BEGIN stuff.... END BEGIN stuff ... END 我的 .y 文件是这样的 %token BEGIN %token END %star
我正在寻找为现有语言创建 JavaScript 解析器的方法,该语言目前具有笨拙的“手工制作”C# 和 Java 解析器。想用Jison,也在努力学习Bison的基础。 一个我不确定如何回答的问题是
我正在使用 flex/bison 编写解析器(我可以用 Python 编写解析器,但我总是更喜欢经典。) 当我用这个编译代码时: gcc -lfl -ly chance.tab.c lex.yy.c
正在使用 flex/bison 开发编译器。我的构建输出中有此警告。 警告:在默认操作中键入冲突 ('s' '') 请问有什么帮助吗? 最佳答案 它似乎与源中的 %token 和 %type 声明有关
考虑这个 lex.l 文件: %{ #include "y.tab.h" %} digit [0-9] letter [a-zA-Z] %% "+"
我正在为 bison 中的一个简单的 Pascal 编译器编写语法,我想可视化我在 pascal.y 中指定的语法的解析树。是否可以基于我的 pascal.y 文件以图形方式显示语法树? 最佳答案 野
我正在尝试编写一个能够使用以下输入的语法: begin #this is a example x = 56; while x > 0 do begin point 15
我正在尝试使用 BNF 语法编写 Flex/Bison 文件。但是,当我尝试编译时出现错误,而且我不确定如何调试它们。 BNF语法: ::= | head() ::=:: | @ | tail() |
我正在用 Flex/Bison 编写一个小程序来标记/解析我创建的查询语言。 我想知道是否有任何方法可以在 Flex/Bison 中创建任何关键字。 我的意思是:flex 将输入分解成一个标记列表,但
我正在尝试使用 flex 和 bison 创建过滤器,因为我想从复杂的语言中获取某些语法元素。我的计划是使用 flex + bison 来识别语法,并转储出感兴趣元素的位置。 (然后使用脚本根据转储的
我正在尝试实现一个可以进行浮点运算的 Flex/bison 计算器。我的 Flex 代码如下所示 %{ #include "calc.tab.h" #include void yyerror(cha
我正在尝试使用 FLEX 和 BISON 进行一些练习。 这是我写的代码: calc_pol.y %{ #define YYSTYPE double #include "calc_pol.tab.h"
我有一个使用括号和方括号作为分隔符的语法。当由 bison 生成的解析器输入带有不平衡分隔符的输入时,传递给 yyerror 的 YYLTYPE* 中的错误位置是输入的结尾。所以,例如,在输入 x
我是一名优秀的程序员,十分优秀!