将一个产生式作如下的改写,对不对?谢谢!

Question

EBNF形式的:
     o1 -> output {output}
     o1 -> output {output} ok output

改写成BNF形式的:
    o1 -> o1x
    o1 -> o1x ok output

    o1x -> output
    o1x -> o1x output

或者是否还可以改写成其它形式的?

谢谢!

[ 本帖最后由 liuzq71 于 2009-2-20 09:11 编辑 ]

Answer 1

目前的错误是:无法识别,o1 -> output(只有一个output的情况)这样的语句

Answer 2

代码?

Answer 3

我的代码是:

//myplc.y
%{
        #define YYSTYPE double          //定义语义值的C数据类型
        #include <math.h>
        #include <stdio.h>
        #include <ctype.h>
                #include "y.tab.h"
        int yylex();
        void yyerror(char const *s);
                int i,yylineno;
      
                char *strs[]={"LD","OR","OUT","LD","AND","OUT"};
                int lines[]={6,LD,OR,OUT,LD,AND,OUT};
%}
%token ANB ORB LD LDI OR ORI AND ANI OUT SPC MPS MRD MPP STL RET BLANK //ID
//%left LD LDI OUT SPC
%%
program : stc1
              | program stc1
;
stc1        :  i  o1
;
i           :  i i ANB
            |  i i ORB
            |  i vi
            |  LD   
            |  LDI   
;
vi          :  OR   
            |  ORI  
            |  vo
;
vo          :  AND   
            |  ANI   
;
o1          :  o1x             // o1 -> output {output},多个并列单输出
            |  o1x ok output   //    -> output {output} ok output,多个并列单输出,并在最后一个输出前有输入块
;
o1x         :  output //BLANK
            |  o1x  output     
;
ok          :  ok i ANB   
            |  ok vo
                    |  i ANB          //ok的这一个产生式有错误
            |  vo
;
output      :  OUT  
            |  SPC
;
%%
int yylex()
{
  int j=i++;
  if(i>lines[0]) return -1;  //结束输入
   else
    {
          printf("%s\n",strs[j]);
          yylineno=j+1;
          return lines[j+1];
        }
}
/*void yyerror(char* s, int state){
     fprintf(stderr, "%s\n", s);   
     if(state != -1){
         fprintf(stderr, "line %d: ", yylineno);
         //fprintf(stderr, "%s expected ", yyerrmtx[state]);
         fprintf(stderr, "before\"%s\"\n", yytext);
     }//if      
}*/

void yyerror (char const *s)
{
    fprintf (stderr, "line=%d,%s!\n", yylineno,s);
}
int yywrap()
{
  return 1;
}
int main()
{
  return yyparse();
}

[ 本帖最后由 liuzq71 于 2009-2-20 12:20 编辑 ]

Answer 4

代码|演示|在演示中说明自己的疑惑,自己的认为

Answer 5

演示:

未命名13456.JPG (12.17 KB, 下载次数: 1)

下载附件

2009-02-20 11:59 上传

未命名13456.JPG (15.48 KB, 下载次数: 1)

下载附件

2009-02-20 12:07 上传

这第二个OUT指令处就会出错(第一个处是正确的),不解,请版主指正,

{
我总觉只这样的改写有问题,但又不知错哪?

EBNF形式的:
     o1 -> output {output}
     o1 -> output {output} ok output

改写成BNF形式的:
    o1 -> o1x
    o1 -> o1x ok output

    o1x -> output
    o1x -> o1x output
}

[ 本帖最后由 liuzq71 于 2009-2-20 12:11 编辑 ]

Answer 6

你可能规则写错了,
以上的确无法归约
可能你少加了一个
i:i vo
其实这些问题都很简单,自己拿着笔对着代码画画就知道了