利用Yacc生成LR语法分析器的关键点剖析
2010-10-08 13:49
302 查看
实际上利用Yacc生成LR语法分析器(一般是Look ahead分析方法)还是比较简单的,而且写一个文法满足Yacc的要求也非常容易,主要的工作量体现在一个产生式被识别后的动作如何编写,尤其是有时候需要在一个产生式中嵌入一个动作,这个动作产生的时机是什么,产生这个动作时当前的token是什么一定要非常清楚,通过这几天的研究,基本上对这个问题已经有了一个了解,这里做一些总结。
首先,Yacc中判断如果DFA的当前状态中的某一项S->a.发生归约时,执行产生式S->a后面带的动作。但是S->a.归约发生前可能需要获得下一个token,也有可能不需要获得,这个要具体情况具体分析。另外对于嵌入动作,Yacc会在产生式中插入一个新的非终结符E,其中E->空,当E->空.归约发生时,嵌入动作执行。
例1:
%{
#include <ctype.h>
#include <stdio.h>
#define YYSTYPE double
int c;
%}
%token NUMBER
%%
lines : expr { printf("%d/n", $1); }
;
expr : expr{printf("a%c/n",c);} '+' NUMBER { $$ = $1 + $4; }
| expr {printf("b%c/n",c);}'-' NUMBER { $$ = $1 - $4; }
| NUMBER{printf("c%c/n",c);}
;
%%
int main(void)
{
return yyparse();
}
int yylex(void)
{
while ((c = getchar()) == ' ');
if (isdigit(c)) {
ungetc(c, stdin);
scanf("%d", &yylval);
return NUMBER;
}
if(c=='/n')
{
c='$';
return 0;
}
return c;
}
如果输入:2
输出结果如下:
2
c2
2
也就是说在执行printf("c%c/n",c);}时,当前token是2,这是因为在当前状态下只有一个exp->number.可以执行归约,因为不需要获得下一个token.
例2:
expr : NUMBER{printf("a%c/n",c);} '+' NUMBER { $$ = $1 + $4; }
| NUMBER {printf("b%c/n",c);}'-' NUMBER { $$ = $1 - $4; }
| NUMBER{printf("c%c/n",c);}
;
如果输入:2
输出结果如下:
2
c$
2
也就是说在执行也就是说在执行printf("c%c/n",c);}时,当前token是$,这是因为当前状态下除了exp->number.可以以执行归约之外,还有E1->空(第一个嵌入动作)和E2->空(第二个嵌入动作)也都可以执行归约,到底需要执行哪个归约需要看下一个token。
例3:
expr : NUMBER{printf("a%c/n",c);} '+' NUMBER { printf("aa%c/n",c);$$ = $1 + $4; }
| NUMBER {printf("b%c/n",c);}'-' NUMBER { $$ = $1 - $4; }
| NUMBER{printf("c%c/n",c);}
如果输入:2+3
输出结果如下:
2+3
a+
aa3
5
从上可以看出,在执行printf("a%c/n",c);}时,当前token是+,这是因为当前状态下有E1->空(第一个嵌入动作)和E2->空(第二个嵌入动作)都可以执行归约,到底需要执行哪个归约需要看下一个token,如果是+号则需要执行第一个嵌入动作,如果是-号则需要执行第二个嵌入动作。至于执行printf("aa%c/n",c)时,当前token是3原因也很简单,那就是当前状态下只有exp->NUMBER E1 '+' NUMBER 可以执行归约。
例4:
expr : NUMBER{printf("a%c/n",c);} '+' NUMBER { printf("aa%c/n",c);$$ = $1 + $4; }
如果输入:2+3
输出结果如下:
2+3
a2
aa3
5
从上可以看出,在执行printf("a%c/n",c);}时,当前token是2,这是因为当前状态下只有E1->空(第一个嵌入动作)可以执行归约。
例5:
expr : ID{printf("a%c/n",c);} '+' ID { printf("aa%c/n",c);$$ = $1 + $4; }
;
ID : NUMBER{printf("c%c/n",c);$$=$1;}
如果输入:2+3
输出结果如下:
2+3
c2 //执行printf("c%c/n",c);}时,当前token是2
a2 //执行printf("a%c/n",c);}时,当前token是2
c3
aa3
5
例6:
expr : ID{printf("a%c/n",c);} '+' ID { printf("aa%c/n",c);$$ = $1 + $4; }
| ID{printf("b%c/n",c);} '-' ID { $$ = $1 - $4; }
;
ID : NUMBER{printf("c%c/n",c);$$=$1;}
如果输入:2+3
输出结果如下:
2+3
c2 ///执行printf("c%c/n",c);}时,当前token是2
a+ //执行printf("a%c/n",c);}时,当前token是+
c3
aa3
5
首先,Yacc中判断如果DFA的当前状态中的某一项S->a.发生归约时,执行产生式S->a后面带的动作。但是S->a.归约发生前可能需要获得下一个token,也有可能不需要获得,这个要具体情况具体分析。另外对于嵌入动作,Yacc会在产生式中插入一个新的非终结符E,其中E->空,当E->空.归约发生时,嵌入动作执行。
例1:
%{
#include <ctype.h>
#include <stdio.h>
#define YYSTYPE double
int c;
%}
%token NUMBER
%%
lines : expr { printf("%d/n", $1); }
;
expr : expr{printf("a%c/n",c);} '+' NUMBER { $$ = $1 + $4; }
| expr {printf("b%c/n",c);}'-' NUMBER { $$ = $1 - $4; }
| NUMBER{printf("c%c/n",c);}
;
%%
int main(void)
{
return yyparse();
}
int yylex(void)
{
while ((c = getchar()) == ' ');
if (isdigit(c)) {
ungetc(c, stdin);
scanf("%d", &yylval);
return NUMBER;
}
if(c=='/n')
{
c='$';
return 0;
}
return c;
}
如果输入:2
输出结果如下:
2
c2
2
也就是说在执行printf("c%c/n",c);}时,当前token是2,这是因为在当前状态下只有一个exp->number.可以执行归约,因为不需要获得下一个token.
例2:
expr : NUMBER{printf("a%c/n",c);} '+' NUMBER { $$ = $1 + $4; }
| NUMBER {printf("b%c/n",c);}'-' NUMBER { $$ = $1 - $4; }
| NUMBER{printf("c%c/n",c);}
;
如果输入:2
输出结果如下:
2
c$
2
也就是说在执行也就是说在执行printf("c%c/n",c);}时,当前token是$,这是因为当前状态下除了exp->number.可以以执行归约之外,还有E1->空(第一个嵌入动作)和E2->空(第二个嵌入动作)也都可以执行归约,到底需要执行哪个归约需要看下一个token。
例3:
expr : NUMBER{printf("a%c/n",c);} '+' NUMBER { printf("aa%c/n",c);$$ = $1 + $4; }
| NUMBER {printf("b%c/n",c);}'-' NUMBER { $$ = $1 - $4; }
| NUMBER{printf("c%c/n",c);}
如果输入:2+3
输出结果如下:
2+3
a+
aa3
5
从上可以看出,在执行printf("a%c/n",c);}时,当前token是+,这是因为当前状态下有E1->空(第一个嵌入动作)和E2->空(第二个嵌入动作)都可以执行归约,到底需要执行哪个归约需要看下一个token,如果是+号则需要执行第一个嵌入动作,如果是-号则需要执行第二个嵌入动作。至于执行printf("aa%c/n",c)时,当前token是3原因也很简单,那就是当前状态下只有exp->NUMBER E1 '+' NUMBER 可以执行归约。
例4:
expr : NUMBER{printf("a%c/n",c);} '+' NUMBER { printf("aa%c/n",c);$$ = $1 + $4; }
如果输入:2+3
输出结果如下:
2+3
a2
aa3
5
从上可以看出,在执行printf("a%c/n",c);}时,当前token是2,这是因为当前状态下只有E1->空(第一个嵌入动作)可以执行归约。
例5:
expr : ID{printf("a%c/n",c);} '+' ID { printf("aa%c/n",c);$$ = $1 + $4; }
;
ID : NUMBER{printf("c%c/n",c);$$=$1;}
如果输入:2+3
输出结果如下:
2+3
c2 //执行printf("c%c/n",c);}时,当前token是2
a2 //执行printf("a%c/n",c);}时,当前token是2
c3
aa3
5
例6:
expr : ID{printf("a%c/n",c);} '+' ID { printf("aa%c/n",c);$$ = $1 + $4; }
| ID{printf("b%c/n",c);} '-' ID { $$ = $1 - $4; }
;
ID : NUMBER{printf("c%c/n",c);$$=$1;}
如果输入:2+3
输出结果如下:
2+3
c2 ///执行printf("c%c/n",c);}时,当前token是2
a+ //执行printf("a%c/n",c);}时,当前token是+
c3
aa3
5
相关文章推荐
- 利用Yacc生成LR语法分析器的关键点…
- 利用php访问数据库数据表,生成javabean.java文件,符合javabean语法
- 语法分析器自动生成工具一览
- Syngram Helper实验:读入文法文件动态生成语法分析器
- 编译原理课设——《TINY编译器》,用yacc生成语法扫描实现编译器
- LL语法分析器和LR语法分析器的比较
- 利用LR生成图表分析性能
- 利用flex &amp; bison (lex &amp; yacc)创建可重入(线程安全)的词法分析和语法解析器
- 构造LR(1)项目集,生成LR(1)分析表、进行相应的语法分析
- LR(1)语法分析表生成
- LR(1)语法分析表生成
- C编译器剖析_5.2.2 中间代码生成及优化_再论符号symbol与公共子表达式
- 利用powerdesigner反向数据库结构,生成ER图
- 利用ASP.NET技术动态生成HTML页面
- 利用代码生成一个SQL数据库维护计划,并启用它
- 利用Java.util.UUID来生成唯一ID(用来做数据库主键好用)
- 利用.net 2.0中的TreeView控件与数据库绑定,生成无限级的树目录
- 利用Excel生成Html页面
- C#利用OWC组件生成数据报表
- lex与yacc程序配合编写语法分析程序