The YACC Parser Generator/Exercise 2

From Wiki**3

< The YACC Parser Generator

Problema

Considere a seguinte especificação sintáctica:

%token NUM
%union { int i; }
%type <i> NUM cnvl 
%%
cnvl : NUM { $$ = $1; }
     | cnvl '-' cnvl { $$ = $1 - $3; }
     | cnvl '!' { $$ = printf("%d\n", $1); }
     ;
%%
int yyerror(char *s) { printf("%s\n", s); return 0; }
int main() { return yyparse(); }

Considere e resolva as seguintes questões:

  1. A especificação sintáctica apresenta conflitos. Identifique esses conflitos e a sua origem.
  2. Elimine os conflitos da especificação sintáctica apresentada, SEM ALTERAR A GRAMÁTICA (i.e., o que está entre os %%).
  3. Elimine os conflitos da especificação sintáctica apresentada, alterando EXCLUSIVAMENTE a gramática.

Solução