yacc不使用優(yōu)先規(guī)則解決移進(jìn)/規(guī)約沖突的問題

一刀。

初學(xué)lex和yacc，書上有兩個例子，一個是使用優(yōu)先規(guī)則的運(yùn)行沒有問題，另一個不使用優(yōu)先規(guī)則的死活跑不過去，甚至連乘法除法都有問題，請大牛指教一下

下面這個是詞法分析程序

1. %{
   
2. #include "y.tab.h"
   
3. extern int yylval;
   
4. %}
   
5. 
   
6. %%
   
7. [0-9]+  { yylval = atoi(yytext); return NUMBER; }
   
8. [ \t]+  ;
   
9. \n return 0;
   
10. [_a-zA-Z][_a-zA-Z0-9]*  { return NAME; }
    
11. [=\*\/\(\)\+\-]         { return yytext[0]; }
    
12. %%
    

復(fù)制代碼

下面這個是使用有限規(guī)則的語法分析程序，運(yùn)行沒有問題

1. %{
   
2. #include <stdio.h>
   
3. %}
   
4. 
   
5. %token NAME NUMBER
   
6. %left '-' '+'
   
7. %left '*' '/'
   
8. %nonassoc UMINUS
   
9. 
   
10. %%
    
11. statement: NAME '=' expression
    
12.   | expression { printf("= %d\n", $1); }
    
13.   ;
    
14. 
    
15. expression: expression '+' expression { $$ = $1 + $3; }
    
16.   | expression '-' expression         { $$ = $1 - $3; }
    
17.   | expression '*' expression         { $$ = $1 * $3; }
    
18.   | expression '/' expression
    
19.     {
    
20.       if($3 == 0)
    
21.         yyerror("divide by zero");
    
22.       else
    
23.         $ = $1 / $3;
    
24.     }
    
25.   | '-' expression %prec UMINUS       { $$ = -$2; }
    
26.   | '(' expression ')'                { $$ = $2; }
    
27.   | NUMBER                            { $$ = $1; }
    
28.   ;
    
29. %%
    
30. 
    
31. extern FILE *yyin;
    
32. 
    
33. int main()
    
34. {
    
35.         do
    
36.         {
    
37.                 yyparse();
    
38.         }
    
39.         while(!feof(yyin));
    
40. }
    

復(fù)制代碼

下面這個是不使用優(yōu)先規(guī)則的程序，乘法、除法和小括號都有問題

1. %{
   
2. #include <stdio.h>
   
3. %}
   
4. 
   
5. %token NAME NUMBER
   
6. 
   
7. %%
   
8. statement: NAME '=' expression
   
9.   | expression { printf("= %d\n", $1); }
   
10.   ;
    
11. 
    
12. expression: expression '+' mulexp { $$ = $1 + $3; }
    
13.   | expression '-' mulexp  { $$ = $1 - $3; }
    
14.   | primary                { $$ = $1; }
    
15.   ;
    
16. 
    
17. mulexp: mulexp '*' primary { $$ = $1 * $3; }
    
18.   | mulexp '/' primary
    
19.     {
    
20.       if($3 == 0)
    
21.         yyerror("divide by zero");
    
22.       else
    
23.         $$ = $1 / $3;
    
24.     }
    
25.   | primary
    
26.   ;
    
27. 
    
28. primary: '(' expression ')' { $$ = $2; }
    
29.   | '-' primary             { $$ = -$2; }
    
30.   | NUMBER                  { $$ = $1; }
    
31.   ;
    
32. 
    
33. %%
    
34. 
    
35. extern FILE *yyin;
    
36. 
    
37. int main()
    
38. {
    
39.         do
    
40.         {
    
41.                 yyparse();
    
42.         }
    
43.         while(!feof(yyin));
    
44. }
    

復(fù)制代碼

cjaizss

一刀。 發(fā)表于 2012-11-12 17:42
初學(xué)lex和yacc，書上有兩個例子，一個是使用優(yōu)先規(guī)則的運(yùn)行沒有問題，另一個不使用優(yōu)先規(guī)則的死活跑不過去， ...

你的乘法和除法都無法被規(guī)約成statement,當(dāng)然是語法錯誤
在你的程序中，乘法和除法唯一可以被規(guī)約成statement的機(jī)會是
expression: expression '+' mulexp
expression: expression '-' mulexp
也就是前面必須要有加減法
所以以下都是不符合你的語法的
linux-s3hu:/tmp/compile # ./a.out
2*3
= 2
syntax error
= 3

linux-s3hu:/tmp/compile # ./a.out
2*3+1
= 2
syntax error
= 4

以下才符合你的語法
linux-s3hu:/tmp/compile # ./a.out
1+2*3
= 7

一刀。

回復(fù) 2# cjaizss


    謝謝！我把primary改成mulexp通過了。我看書不仔細(xì)

1. %{
   
2. #include <stdio.h>
   
3. %}
   
4. 
   
5. %token NAME NUMBER
   
6. 
   
7. %%
   
8. statement: NAME '=' expression
   
9.   | expression { printf("= %d\n", $1); }
   
10.   ;
    
11. 
    
12. expression: expression '+' mulexp { $$ = $1 + $3; }
    
13.   | expression '-' mulexp  { $$ = $1 - $3; }
    
14.   | mulexp                { $$ = $1; }
    
15.   ;
    
16. 
    
17. mulexp: mulexp '*' primary { $$ = $1 * $3; }
    
18.   | mulexp '/' primary
    
19.     {
    
20.       if($3 == 0)
    
21.         yyerror("divide by zero");
    
22.       else
    
23.         $ = $1 / $3;
    
24.     }
    
25.   | primary
    
26.   ;
    
27. 
    
28. primary: '(' expression ')' { $$ = $2; }
    
29.   | '-' primary             { $$ = -$2; }
    
30.   | NUMBER                  { $$ = $1; }
    
31.   ;
    
32. 
    
33. %%
    
34. 
    
35. extern FILE *yyin;
    
36. 
    
37. int main()
    
38. {
    
39.         do
    
40.         {
    
41.                 yyparse();
    
42.         }
    
43.         while(!feof(yyin));
    
44. }

復(fù)制代碼