EBNF中的产生式program : stc { stc } ，在yacc的*.y文件中如何写规则？

liuzq71

1       %{
2       %}
3       %token ANB ORB LD ID LDI OR ORI AND ANI OUT SPC MPS MRD MPP STL
4       %%
5       program : stc { stc }
6       stc  :  stc1
7             | stc2
8             | output
9      stc1 :  i o
10    stc2  :  st stc1 { stc1 }
11    st  :  STL i
12    i  :    i i ANB
13    i  :  i i ORB
14    i  :  i vi
15    i  :  LD ID
16      | LDI ID
17    vi  :  OR ID
18        | ORI ID
19        |vo
20    vo : AND ID
21        | ANI ID   
22    o  :  o1
23        | o2   
24    o1  :  output { output }   
25    o1  :  output { output } ok output   
26    ok  :  ok i ANB   
27    ok  :  ok vo   
28    ok  :  i ANB
29             | vo   
30     output  :  OUT ID
31                 | SPC   
32     o2  :  omps { omrd } ompp   
33     omps  :  MPS oin   
34     omps  :  output MPS oin   
35     omrd  :  MRD oin   
36     ompp  :  MPP oin   
37     oin  :  o
38            | ok o1   
39
40     %%
41
42     int main()
43     {
44        return yyparse();
45     }


其中第5,10,24,25,32句的yacc的*.y文件中应如何写规则？因为EBNF中的｛｝在yacc中变成了动作语句了，谢谢

[ 本帖最后由 liuzq71 于 2009-2-10 08:36 编辑 ]

cjaizss

program : stc
|stc program ;

liuzq71

原帖由 cjaizss 于 2009-2-10 09:07 发表
program : stc
|stc program ;

能否邦我将１楼的其中第5,10,24,25,32句的规则全部重改写一下？被文法弄得晕死了，yacc只适应BNF不适应ＥＢＮＦ

cjaizss

那我觉得你还是好好学学yacc,这个改写应该还是比较基础的.

1. 
   
2. 10 stc2  :  st stc1 { stc1 }
   
3. stc2:st stc1|stc2 stc1;
   
4. 24    o1  :  output { output }   
   
5. 25    o1  :  output { output } ok output   
   
6. o1: ox2 | ox2 okooutput;
   
7. ox2:output|output ox2;
   
8. 32     o2  :  omps { omrd } ompp   
   
9. o2:omps ox ompp;
   
10. ox: | omrd ox;
    

复制代码

我想错了,24,25和IF-ELSE的悬挂是不同的

[ 本帖最后由 cjaizss 于 2009-2-10 10:42 编辑 ]

liuzq71

原帖由 cjaizss 于 2009-2-10 10:35 发表
那我觉得你还是好好学学yacc,这个改写应该还是比较基础的.

10 stc2  :  st stc1 { stc1 }
stc2:st stc1|stc2 stc1;
24    o1  :  output { output }   
25    o1  :  output { output } ok output   
o ...

32     o2  :  omps { omrd } ompp   
o2:  omps ox ompp;
ox: | omrd ox;

是不是改成?:
o2 : omps ox ompp
ox : /*epsilon*/                           或者：    ox : omrd ox
      | omrd ox                                             | /*epsilon*/

[ 本帖最后由 liuzq71 于 2009-2-10 10:57 编辑 ]

cjaizss

恩,是的

liuzq71

yacc处理*.y文件出现以上错误，是什么原因？每行错误前的数字指的是什么？是第n条产生式还是*.y的第行号？多谢

cjaizss

第一,yacc后面要用分号隔开;
第二,你的语言好象不能用yacc处理.

cjaizss

不过我用bison编了一个,发现bison居然能识别这种语言,其原理我还不知道,可能我对GLR的认识有误解.
test.l

1. 
   
2. %{
   
3. #include <stdio.h>
   
4. #include <stdlib.h>
   
5. #include "y.tab.h"
   
6. %}
   
7. %%
   
8. \n {return 0;}
   
9. . {return yytext[0];}
   
10. %%
    

复制代码

test.y

1. 
   
2. %{
   
3. #include <stdio.h>
   
4. #include <stdlib.h>
   
5. %}
   
6. %%
   
7. x:x x 'a'
   
8. | 'b';
   
9. %%
   
10. int main()
    
11. {
    
12.         yyparse();
    
13. }
    

复制代码

Makefile

1. 
   
2. test:test.y test.l
   
3.      yacc -d test.y
   
4.      lex test.l
   
5.      gcc lex.yy.c y.tab.c -ll -ly -o $@
   

复制代码

liuzq71

myplc1.y文件：

%{
#include <stdio.h>
#include <stdlib.h>
%}
%token ANB ORB LD ID LDI OR ORI AND ANI OUT SPC MPS MRD MPP STL
%%
program: stc
         | stc program
;
stc:  stc1
      | stc2
      | output
;
stc1:  i o
;
stc2:  st stc1
       | stc2  stc1
;
st:  STL i
;
i:  i i ANB
    | i i ORB
    | i vi
    | LD ID
    | LDI ID
;
vi: OR ID
    | ORI ID
    | vo
;
vo: AND ID
    | ANI ID
;   
o: o1
   | o2
;  
o1: ox2
    | ox2 ok output
;
ox2: output
     |output ox2
;
ok: ok i ANB   
    | ok vo   
    | i ANB
    | vo
;  
output:  OUT ID
             | SPC
;  
o2: omps ox ompp
;
ox:
    | omrd ox
;
omps:  MPS oin   
       |output MPS oin
;  
omrd:  MRD oin
;  
ompp:  MPP oin
;   
oin:  o
      | ok o1   
;
%%

int main()
{
   return yyparse();
}
/*yylex()手工写出*/
int yylex (void)
{
   return 0;
}
/*错误处理,简单地打印出来*/
void yyerror (char const *s)
{
    fprintf (stderr, "%s\n", s);
}

这里的错误提示前的数字是指的什么？
出现以上错误提示，没折了，请邦忙解决下啊，谢谢

[ 本帖最后由 liuzq71 于 2009-2-10 14:51 编辑 ]