作为我要参加的“编译器理论”课程的一项作业,我必须用lex / yacc编码计算器。一些要求是:
如果我尝试输入此内容:
a=5;
a; // Output: 5
a==5; // Syntax error
但是,如果我输入以下内容,它将起作用:
5==a; // Output: 1
我认为问题在于yacc正在将a==5
读为<a> <=> <=5>
而不是<a> <==> <5>
形式的新赋值。我仍然不知道如何解决该问题。我尝试使用%prec批注,但这不能解决问题。
这是代码: calc.l
%{
#include "y.tab.h"
void yyerror(char* s);
%}
%%
"exit" { return exit_command; }
[0-9]+ { yylval.num = atoi(yytext); return number; }
[a-zA-Z] { yylval.id = yytext[0]; return identifier; }
[ \t\n] ;
[-+*/()^%;] { return yytext[0]; }
[<>=!&|] { return yytext[0]; }
. { ECHO; yyerror("Unexpected character"); }
%%
int yywrap(void) { return 1; }
calc.y
%{
void yyerror(char *s);
int yylex();
#include <stdio.h>
#include <stdlib.h>
#include <ctype.h>
#include <math.h>
int yydebug = 1;
void print(int num);
int symbols[52];
int symbolVal(char symbol);
void updateSymbolVal(char symbol, int val);
%}
%union { int num; char id; }
%start line
%token exit_command
%token <num> number
%token <id> identifier
%type <num> line bool_exp arit_exp term factor
%type <id> assignment
%%
line: line bool_exp ';' { print($2); }
| bool_exp ';' { print($1); }
| line assignment ';' {;}
| assignment ';' {;}
| line equality ';' {;}
| equality ';' {;}
| line exit_command { printf("Goodbye\n"); exit(EXIT_SUCCESS); }
| exit_command { printf("Goodbye\n"); exit(EXIT_SUCCESS); }
;
bool_exp: arit_exp { $$ = $1; }
| bool_exp '<' arit_exp { $$ = $1 < $3; }
| bool_exp '>' '=' arit_exp { $$ = $1 >= $4; }
| bool_exp '>' arit_exp { $$ = $1 > $3; }
| bool_exp '<' '=' arit_exp { $$ = $1 <= $4; }
| bool_exp '=' '=' arit_exp { $$ = $1 == $4; }
| bool_exp '!' '=' arit_exp { $$ = $1 != $4; }
| '!' bool_exp { $$ = !$2; }
| bool_exp '&' '&' arit_exp { $$ = $1 && $4; }
| bool_exp '|' '|' arit_exp { $$ = $1 || $4; }
| '+' '+' identifier { updateSymbolVal($3, symbolVal($3) + 1); $$ = symbolVal($3); }
| '-' '-' identifier { updateSymbolVal($3, symbolVal($3) - 1); $$ = symbolVal($3); }
;
arit_exp: term { $$ = $1; }
| arit_exp '+' term { $$ = $1 + $3; }
| arit_exp '-' term { $$ = $1 - $3; }
;
term: factor { $$ = $1; }
| term '*' factor { $$ = $1 * $3; }
| term '/' factor { $$ = $1 / $3; }
| term '^' factor { $$ = pow($1, $3); }
| term '%' factor { $$ = $1 % $3; }
| '-' factor { $$ = $2 * -1; }
;
factor: number { $$ = $1; }
| identifier { $$ = symbolVal($1); }
| '(' bool_exp ')' { $$ = $2; }
;
assignment: identifier '=' bool_exp { updateSymbolVal($1, $3); printf("> %c <- %i\n> ", $1, $3); } ;
%%
void print(int num) {
printf("> Result: %i\n< ", num);
}
int computeSymbolIndex(char token) {
int idx = -1;
if (islower(token)) {
idx = token - 'a' + 26;
}
else if (isupper(token)) {
idx = token - 'A';
}
return idx;
}
/* Returns the value of a given symbol */
int symbolVal(char symbol) {
int bucket = computeSymbolIndex(symbol);
return symbols[bucket];
}
void updateSymbolVal(char symbol, int val) {
int bucket = computeSymbolIndex(symbol);
symbols[bucket] = val;
}
int main(void) {
printf("Calculator made with lex and yacc\n");
printf("Usage: <Arithmetic or boolean expression> <semicolon>\n");
printf("e.g: 2+2;\n\n< ");
return yyparse();
}
void yyerror(char *s) { fprintf(stderr, "Error: %s\n", s); }
答案 0 :(得分:5)
运算符应为令牌。因此,您将获得具有以下功能的Lex扫描仪:
"==" { return EQUAL; }
,依此类推。像现在使用'=' '='
一样在解析器中形成令牌是错误的。
在Yacc文件中,您可以使用%left TOKEN
和%right TOKEN
定义运算符的关联性。放置它们的顺序确定它们的优先级(请参阅this post或yacc
手册)。