先决条件– YACC简介
问题:编写一个YACC程序来计算一个给定的算术表达式,该表达式由“ +”,“-”,“ *”,“ /”(包括方括号)组成。
例子:
Input: 7*(5-3)/2
Output: 7
Input: 6/((3-2)*(-5+2))
Output: -2
词法分析器源代码:
C
%{
/* Definition section*/
#include "y.tab.h"
extern yylval;
}%
%%
[0-9]+ {
yylval = atoi(yytext);
return NUMBER;
}
[a-zA-Z]+ { return ID; }
[ \t]+ ; /*For skipping whitespaces*/
\n { return 0; }
. { return yytext[0]; }
%%
C
%{
/* Definition section */
#include
%}
%token NUMBER ID
// setting the precedence
// and associativity of operators
%left '+' '-'
%left '*' '/'
/* Rule Section */
%%
E : T {
printf("Result = %d\n", $$);
return 0;
}
T :
T '+' T { $$ = $1 + $3; }
| T '-' T { $$ = $1 - $3; }
| T '*' T { $$ = $1 * $3; }
| T '/' T { $$ = $1 / $3; }
| '-' NUMBER { $$ = -$2; }
| '-' ID { $$ = -$2; }
| '(' T ')' { $$ = $2; }
| NUMBER { $$ = $1; }
| ID { $$ = $1; };
% %
int main() {
printf("Enter the expression\n");
yyparse();
}
/* For printing error messages */
int yyerror(char* s) {
printf("\nExpression is invalid\n");
}
解析器源代码:
C
%{
/* Definition section */
#include
%}
%token NUMBER ID
// setting the precedence
// and associativity of operators
%left '+' '-'
%left '*' '/'
/* Rule Section */
%%
E : T {
printf("Result = %d\n", $$);
return 0;
}
T :
T '+' T { $$ = $1 + $3; }
| T '-' T { $$ = $1 - $3; }
| T '*' T { $$ = $1 * $3; }
| T '/' T { $$ = $1 / $3; }
| '-' NUMBER { $$ = -$2; }
| '-' ID { $$ = -$2; }
| '(' T ')' { $$ = $2; }
| NUMBER { $$ = $1; }
| ID { $$ = $1; };
% %
int main() {
printf("Enter the expression\n");
yyparse();
}
/* For printing error messages */
int yyerror(char* s) {
printf("\nExpression is invalid\n");
}
输出:
笔记:
通常将Yacc程序编写在2个文件中,一个用于扩展名为.l的lex(用于令牌化,并将令牌发送到yacc),另一个用于扩展名为.y的yacc(用于语法评估和结果评估)。
执行Yacc程序的步骤:
yacc -d sample_yacc_program.y
lex sample_lex_program.l
cc lex.yy.c y.tab.c -ll
./a.out