验证Yacc的使用
Posted 火雨_Nick
tags:
篇首语：本文由小常识网(cha138.com)小编为大家整理，主要介绍了验证Yacc的使用相关的知识，希望对你有一定的参考价值。
验证Yacc的使用
一. 目的：
熟悉语法分析器生成工具Yacc的使用，并学会在cygwin下使用bison工具编译Yacc文法说明文件。学习如何使用lex和yacc合作进行语法分析。
二. 内容：
根据给出的calculator例子（calculator0,calculator1,calculator2,calculator3）完成下面题目：用lex和yacc写一个计算布尔表达式真值的计算器。
三．要求：
输入为一个布尔表达式，以换行结束。输出为这个布尔表达式的真值（true或false）。
尝试二义文法和非二义文法两种不同的实现方式。布尔表达式二义文法为：S –>S or S | S and S | not S | (S) | true | false，其中优先级or < and < not，or 和 and 左结合，not 右结合。
非二义文法请参照表达式非二义文法自己写出来。
在cygwin下用flex，bison和gcc工具将例子调试通过，并写出测试例测试正确性。
参考：calculator0-3这四个例子。
四．源代码：
Cal.l:%
#include "cal.tab.h"
int yywrap(void)
return 1;
%
delim [ \\t ]
ws delim+
<strong>tr true
fa false</strong>
%%
<strong>fa return F;
tr return T;
"||" return AND;
"&&" return OR;
"!" return NOT;
"(" return LPAREN;
")" return RPAREN;</strong>
ws ;
"\\n" return ENTER;
. printf("\\nLEX:ERROR! c=%s\\n", yytext);
Cal.y:
%
int yylex();
#define YYSTYPE double /* 将Yacc栈定义为double类型 */
%
<strong>%token T F LPAREN RPAREN ENTER
%left OR AND
%right NOT</strong>
%%
/* 这样写prog可以让分析器每次读入一行进行分析，下一行重新分析exprg*/
prog : prog exprp
| exprp
;
exprp : expr ENTER if($1) printf("The value of the expr is true\\n");else printf("The value of the expr is false\\n");
;
<strong>expr : expr OR expr $$ = $1 || $3;
| expr AND expr $$ = $1 && $3;
| NOT expr %prec NOT$$ = ! $2;
| LPAREN expr RPAREN $$ = $2;
| T $$ = 1;
| F $$ = 0;
;</strong>
%%
int main()
yyparse();
return 0;
Makefile:
cal3: cal.tab.o lex.yy.o
gcc -o cal3 cal.tab.o lex.yy.o -ly
lex.yy.o: lex.yy.c cal.tab.h
gcc -c lex.yy.c
cal.tab.o: cal.tab.c
gcc -c cal.tab.c
lex.yy.c: cal.l
flex cal.l
cal.tab.c: cal.y
bison -dv cal.y
cal.tab.h: cal.y
echo "cal.tab.h was created at the same time as cal.tab.c."
clean:
rm -f cal3.exe lex.yy.o cal.tab.o lex.yy.c cal.tab.c cal.tab.h cal3.exe.stackdump cal.output
五．结果及分析：
<span style="font-weight: bold;"> </span>true||true
The value of the expr is true.
true&&false
The value of the expr is false.
!false&&(false||true)
The value of the expr is true.<strong>
</strong>输入一个布尔表达式，以换行结束。输出了这个布尔表达式的真值（true或false）。
六．附录：
cal.l%
#include "cal.tab.h"
int yywrap(void)
return 1;
%
delim [ \\t ]
ws delim+
tr true
fa false
%%
fa return F;
tr return T;
"||" return AND;
"&&" return OR;
"!" return NOT;
"(" return LPAREN;
")" return RPAREN;
ws ;
"\\n" return ENTER;
. printf("\\nLEX:ERROR! c=%s\\n", yytext);
%
int yylex();
#define YYSTYPE double /* 将Yacc栈定义为double类型 */
%
%token T F LPAREN RPAREN ENTER
%left OR AND
%right NOT
%%
/* 这样写prog可以让分析器每次读入一行进行分析，下一行重新分析expr */
prog : prog exprp
| exprp
;
exprp : expr ENTER if($1) printf("The value of the expr is true\\n");else printf("The value of the expr is false\\n");
;
expr : expr OR expr $$ = $1 || $3;
| expr AND expr $$ = $1 && $3;
| NOT expr %prec NOT$$ = ! $2;
| LPAREN expr RPAREN $$ = $2;
| T $$ = 1;
| F $$ = 0;
;
%%
int main()
yyparse();
return 0;
makefile:
cal3: cal.tab.o lex.yy.o
gcc -o cal3 cal.tab.o lex.yy.o -ly
lex.yy.o: lex.yy.c cal.tab.h
gcc -c lex.yy.c
cal.tab.o: cal.tab.c
gcc -c cal.tab.c
lex.yy.c: cal.l
flex cal.l
cal.tab.c: cal.y
bison -dv cal.y
cal.tab.h: cal.y
echo "cal.tab.h was created at the same time as cal.tab.c."
clean:
rm -f cal3.exe lex.yy.o cal.tab.o lex.yy.c cal.tab.c cal.tab.h cal3.exe.stackdump cal.output
本例写了一个实数算术表达式的计算器。可以计算实数的加减乘除，可识别负数和括号。无论输入为整数还是实数，通通识别为实数。
输入输出：键盘输入一行算术表达式，以换行结束，屏幕输出计算结果。该过程可重复进行，直到出现词法或语法错误而退出，或者按ctrl+c结束程序。
词法分析程序用lex编写。
语法分析规则中使用的文法为二义的算术表达式文法。
注意：
int yywrap(void)函数中void不能少，否则出warning。
makefile中 gcc *.tab.o lex.yy.o -ly ，-ly必须在最后，否则可能出现重复定义main函数等错误。
makefile中， cal2.exe: cal.tab.o lex.yy.o ，lex.yy.o必须在cal.tab.o后面，否则会先编译lex.yy.o发现找不到cal.tab.h
yacc程序中不要随便引用yytext和yyleng，容易出问题。
以上是关于验证Yacc的使用的主要内容，如果未能解决你的问题，请参考以下文章