Итак, я новичок в Bison, и я пытаюсь сделать простой калькулятор. Когда я делаю команду bison -d, она говорит, что есть 7 конфликтов уменьшения/уменьшения, и я не совсем уверен, почему это так, я знаю, что это из-за плохой логики в моей грамматике, я просто не могу ее найти. Так вот код в файл .y:Проблема Bison с конфликтом уменьшения/уменьшения
%{
#include <stdio.h>
#include <stdlib.h>
#include <Math.h>
char** nizVarijabliI;
int* nizVrijednostiVarijabliI;
int* nizIinfo;
char** nizVarijabliD;
float** nizVrijednostiVarijabliD;
int* nizDinfo;
int countD = 100;
int dountI = 100;
void updateSymbolTableI(char* s,int br);
void updateSymbolTableD(char* s,float br
float symbolVal(char* s)
%}
%union{
double var1;
int var2;
char* varName;
}
%token <var1> DNUM
%token <var2> INUM
%token <varName> VARIABLE;
%token QUIT PLUS MINUS DIVIDE MULTIPLY EQUALS EXPONENTIATION SIN COS LOG POW SQRT LPAREN RPAREN NEWLINE
%right EQUALS
%left PLUS MINUS
%left DIVIDE MULTIPLY
%right EXPONENTIATION
%nonassoc UMINUS
%type <var1> mixExp
%type <var2> exp
%type <varName> assign
%start pocetak
%%
pocetak :
| pocetak line;
line : NEWLINE
| assign NEWLINE {;}
| mixExp NEWLINE {printf("%f\n",$1);}
| exp NEWLINE {printf("%d\n",$1);}
| QUIT NEWLINE {exit(1);}
;
mixExp : DNUM NEWLINE {$$ = $1;}
| SIN LPAREN mixExp RPAREN NEWLINE {$$ = sin($3);}
| COS LPAREN mixExp RPAREN NEWLINE {$$ = cos($3);}
| LOG LPAREN mixExp RPAREN NEWLINE {$$ = log($3);}
| SQRT LPAREN mixExp RPAREN NEWLINE {$$ = sqrt($3);}
| POW LPAREN mixExp "," mixExp RPAREN NEWLINE {$$ = pow($3,$5);}
| VARIABLE NEWLINE {$$ = symbolVal($1);}
| MINUS mixExp %prec UMINUS NEWLINE {$$ = -$2:}
| mixExp PLUS mixExp NEWLINE {$$ = $1 + $3;}
| mixExp MINUS mixExp NEWLINE {$$ = $1 - $3;}
| mixExp MULTIPLY mixExp NEWLINE {$$ = $1 * $3;}
| mixExp DIVIDE mixExp NEWLINE {$$ = $1/$3;}
| LPAREN mixExp RPAREN NEWLINE {$$ = $2;}
| mixExp PLUS exp NEWLINE {$$ = $1 + $3;}
| mixExp MINUS exp NEWLINE {$$ = $1 - $3;}
| mixExp MULTIPLY exp NEWLINE {$$ = $1 * $3;}
| mixExp DIVIDE exp NEWLINE {$$ = $1/$3;}
| exp PLUS mixExp NEWLINE {$$ = $1 + $3;}
| exp MINUS mixExp NEWLINE {$$ = $1 - $3;}
| exp MULTIPLY mixExp NEWLINE {$$ = $1 * $3;}
| exp DIVIDE mixExp NEWLINE {$$ = $1/$3;}
;
exp : INUM NEWLINE {$$=$1;}
| SIN LPAREN exp RPAREN NEWLINE {$$=sin($3);}
| COS LPAREN exp RPAREN NEWLINE {$$=cos($3);}
| LOG LPAREN exp RPAREN NEWLINE {$$=log($3);}
| SQRT LPAREN exp RPAREN NEWLINE {$$=sqrt($3);}
| POW LPAREN exp "," exp RPAREN NEWLINE {$$ = pow($3,$5);}
| VARIABLE NEWLINE {$$ = symbolVal($1);}
| MINUS exp %prec UMINUS NEWLINE {$$ = -$2:}
| exp PLUS exp NEWLINE {$$ = $1 + $3;}
| exp MINUS exp NEWLINE {$$ = $1 - $3;}
| exp MULTIPLY exp NEWLINE {$$ = $1 * $3;}
| exp DIVIDE exp NEWLINE {$$ = $1/$3;}
| LPAREN exp RPAREN NEWLINE {$$ = $2;}
;
assign : VARIABLE EQUALS exp NEWLINE {updateSymbolTableI($1,$3);}
| VARIABLE EQUALS mixExp NEWLINE {updateSymbolTableD($1,$3);}
;
%%
int main() {
int i;
nizVrijednostiVarijabliI = malloc(100*sizeof(int));
nizVrijednostiVarijabliD = malloc(100*sizeof(float));
nizIinfo = malloc(100*sizeof(int));
nizDinfo = malloc(100*sizeof(int));
for(i=0;i<100;i++) {nizIinfo[i] = 0; nizDinfo[i] = 0;}
nizVarijabliI = malloc(100*sizeof(char*));
for(i=0;i<100;i++) nizVarijabliI[i] = malloc(100*sizeof(char));
nizVarijabliD = malloc(100*sizeof(char*));
for(i=0;i<100;i++) nizVarijabliD[i] = malloc(100*sizeof(char));
yyparse();
return;
}
void updateSymbolTableI(char* s,int br)
{
int freeInd = -1;
int i;
for(i=0;i<countI;i++)
{
if(nizIinfo[i] == 0)
{
freeInd = i;
break;
}
}
if(freeInd == -1)
{
freeInd = i;
countI = countI * 2;
nizVrijednostiVarijabliI = realloc(nizVrijednostiVarijabliI,count*sizeof(int));
nizIinfo = realloc(nizIinfo,count*sizeof(int));
nizVarijabliI = realloc(nizVarijabliI,count*sizeof(char*));
}
nizVrijednostiVarijabliI[freeInd] = br;
nizIinfo[freeInd] = 1;
nizVarijabliI[freeInd] = s;
}
void updateSymbolTableD(char* s, float br)
{
int freeInd = -1;
int i;
for(i=0;i<countD;i++)
{
if(nizDinfo[i] == 0)
{
freeInd = i;
break;
}
}
if(freeInd == -1)
{
freeInd = i;
countD = countD * 2;
nizVrijednostiVarijabliD = realloc(nizVrijednostiVarijabliD,count*sizeof(float));
nizDinfo = realloc(nizDinfo,count*sizeof(int));
nizVarijabliD = realloc(nizVarijabliD,count*sizeof(char*));
}
nizVrijednostiVarijabliD[freeInd] = br;
nizDinfo[freeInd] = 1;
nizVarijabliD[freeInd] = s;
}
float symbolVal(char* s)
{
int ind = -1;
int i;
for(i=0;i<countI;i++)
{
if(strcmp(s,nizVarijabliI[i]) == 0)
{
ind = i;
return (float)nizVrijednostiVarijabliI[ind];
}
}
if(ind == -1)
{
for(i=0;i<countD;i++)
{
if(strcmp(s,nizVarijabliD[i]) == 0)
{
ind = i;
return nizVrijednostiVarijabliD[ind];
}
}
}
if(ind == -1) return 0;
}
Также вот закон файл я сделал для этой цели:
%{
#include "ultcalc.tab.h";
%}
%%
"quit" {return QUIT;}
"sin" {return SIN;}
"cos" {return COS;}
"pow" {return EXPONENTIATION;}
"log" {return LOG;}
"sqrt" {return SQRT;}
[0-9]+"."[0-9]+ {yylval.var1 = atof(yytext); return DNUM;}
[a-z][a-zA-Z0-9]* {yylval.varName = yytext; return VARIABLE;}
[0-9]+ {yylval.var2 = atoi(yytext); return INUM;}
"=" {return EQUALS;}
"+" {return PLUS;}
"-" {return MINUS;}
"*" {return MULTIPLY;}
"/" {return DIVIDE;}
"(" {return LPAREN;}
")" {return RPAREN;}
"," {return yytext;}
[ \t] {;}
[\n] {return NEWLINE;}
. {yyerror("Neocekivani karakteri!");}
%%
yywrap() {return 1;}
Любые советы будут оценены.
Это много кода для прохода, поэтому я этого не сделал. Однако я заметил, что вы пытаетесь синтаксически обнаруживать тип (целое или двойное). Это не очень хорошая идея. Выполняйте проверку типов после разбора. Поскольку у вас есть переменные, и невозможно узнать тип переменной из ее имени, вы получите двусмысленные парсы, которые будут отображаться как конфликты r/r. – rici
Кроме того, 'yylval.varName = yytext;' действительно плохая идея, а действие для ',' должно быть 'return * yytext; ', а не' return yytext'. Лично я использовал бы это действие для других односимвольных токенов (.операторы и круглые скобки.) – rici
Да, это в значительной степени то, что я сделал, упростил грамматику и принял все номера таким же образом, а не просто сделал некоторые float casting в коде C. Как и с ',' я заменил это с помощью 'return yytext [0]' now. Также вы могли бы сказать мне лучший способ вытащить это из 'yylval.varName = yytext;', так как кажется, что, когда я беру ВАРИАБЕЛЬ в бизоне с $ somenumber, он набирает больше символов, чем следовало бы, и это могло быть возможно, потому что о чем вы только что указали? @rici –