-1

我正在尝试以下 yacc 代码并且我收到 shift/reduce 错误。我对此很陌生

The Purpose of the code is to prepare the syntax for if - else with logical operators also incorporated

           %{
               #include<stdio.h>
               #include"lex.yy.c"
               int syntax_status=0;
           %}
           %token IF ELS id EE LE GE closep openp num openb closeb SP logicop 
           %start S
           %%
           S : S SP IF SP openp SP EXP SP closep SP openb SP closeb SP ELS SP openb SP closeb SP {syntax_status=1;}
             | S SP IF SP openp SP EXP SP closep SP openb SP closeb SP {syntax_status = 1;}
             | 
             ;
         EXP : EXP CMP logicop CMP
             | EXP CMP
             |
             ;
         CMP : CMP id EE id 
             | CMP id LE id
             | CMP id GE id
             | CMP id EE num
             | CMP id GE num
             | CMP id LE num
             | CMP num EE id
             | CMP num GE id
             | CMP num LE id
             | 
             ;
         %%
         int main()
         {
              printf("\n\n\n Enter the Syntax :  ");
              yyparse();
              if(syntax_status==1)
              {
                     printf("\n\n\n The Syntax is Correct ");
              }
              else
              {
                     printf("\n\n\n The Syntax is Imcorrect");
              }
              return 0;
          }
          yyerror(char *s)
          {
              syntax_status=0;
          }

此相应 yacc 代码的 Lex 程序如下： 

           %{
              #include<stdio.h>
              #include"y.tab.h"
           %}
           IF (if)
           ELS (else)
           iden [a-zA-Z][a-zA-Z0-9]*
           num [0-9]+
           space [ ]* 
           %%
           {IF} { return IF; }
           {ELS} {return ELSE;}
           {iden} {return id;}
           (==) {return EE;}
           (<=) { return LE;}
           (>=) { return GE;}
           ")" { return closep;}
           "(" { return openp;}
          {num} { return num;}
          {space} { return SP; }
          "{" { return openb;}
          "}" { return closeb;}
          "||"|"&&"|"!=" {return logicop;}

%%

4

2 回答 2

2

CMP 和 EXP 规则看起来都很有问题。以这个最右边的推导为例：

 EXP ==> (by EXP -> CMP)
 EXP CMP ==>  (by CMP -> CMP id EE id)
 EXP CMP id EE id ==> (by CMP -> CMP id EE id)
 EXP CMP id EE id id EE id ==> (by CMP -> epsilon)
 EXP id EE id id EE id ==> (by EXP -> epsilon )
 id EE id id EE id ==>
 id == id id == id

我很确定这不是你想要的。它还在语法中引入了歧义：相同的终结符字符串可以通过这种不同的最右边推导得到：

 EXP ==> (by EXP -> CMP)
 EXP CMP ==> (by CMP -> CMP id EE id)
 EXP CMP id EE id ==> (by CMP -> epsilon)
 EXP id EE id ==> (by EXP -> CMP)
 EXP CMP id EE id ==> (by CMP -> CMP id EE id)
 EXP CMP id EE id id EE id ==> (by CMP -> epsilon)
 EXP id EE id  id EE id ==> (by EXP-> epsilon)
 id EE id  id EE id ==>
 id == id id == id

你看，yacc 将无法知道id == id id == idis 是真的exp exp还是exp。此外，exp->epsilon 规则允许使用类似 的表达式if(){}，这不是很好。

现在，考虑以下语法：

 exp -> exp logicop cmp | cmp
 cmp -> rvalue < rvalue | rvalue > rvalue ...
 rvalue -> id | num

但也可以这样做：

exp -> exp op exp | rvalue
op -> "||" | "&&" | "<" | ">" ...

后者是执行此操作的传统方式，但您需要进行语义检查以确保操作数的类型正确，而前面的语法则确保在句法级别上做到这一点。从长远来看（一旦引入布尔变量），第二种方法更可取，因为类型安全是语义问题，而不是句法问题。

另一方面：空格在您的语言中似乎不相关，但 lex 正在将它们交给 yacc。您可以通过说让 lex 在词汇级别上丢弃空格

{space} //nothing after a pattern discards the matched characters

这样可以省去在 yacc 中写出所有这些 SP 的麻烦。

于 2012-10-15T11:45:27.727 回答
2

您需要指定运算符的优先级和关联性：例如，请参见此处。我从教派中引用。6

作为这些声明行为的示例，描述

    %right  '='
    %left  '+'  '-'
    %left  '*'  '/'

    %%

    expr    :       expr  '='  expr
            |       expr  '+'  expr
            |       expr  '-'  expr
            |       expr  '*'  expr
            |       expr  '/'  expr
            |       NAME
            ;

可用于构造输入

    a  =  b  =  c*d  -  e  -  f*g

如下：

    a = ( b = ( ((c*d)-e) - (f*g) ) )

您的CMP运算符必须以类似的方式定义，并且您logicop应该分开。为了在布尔表达式中获得通常的读数，通常 NOT 表现得像一元减号，AND 像 *，OR 像 +。

高温高压

于 2012-10-15T10:53:06.810 回答