请问一下,简单的文法为什么bison 发生了移进,而不是归约.

[Viweei]

flex :

%{
#include "stdafx.h"
#include "language.tab.h"
extern int yywrap();
%}

ws      [ \t]+
line    \n

%%

var                 {   return VAR;     }
[a-z]+[a-z0-9]*     {   
                        strncpy(yylval.string,yytext,sizeof(yylval.string));
                        return NAME;
                    }   
                    

.                   {   return yytext[0];   }

%%

bison (部份):

%union{
    char string[1024];
};

%token VAR
%token <string> NAME

// %start value 
%%

declare:  VAR NAME ';'
;
%%

我希望 bison 能分析出 var xxx; 这样的语句, 如果在文法文件中没有加入 ';' 像这样
declare: VAR NAME
bison 是能分析出来的,一但加入了 ';' 在最后一步bison 产生了移进,并不是归约.还跑成了循环.
我输出的 out 文件内容如下:

state 0

    0 $accept: . declare $end

    VAR  shift, and go to state 1

    declare  go to state 2


state 1

    1 declare: VAR . NAME ';'

    NAME  shift, and go to state 3


state 2

    0 $accept: declare . $end

    $end  shift, and go to state 4
 state 3
 
     1 declare: VAR NAME . ';'
 
     ';'  shift, and go to state 5
 
 
 state 4
 
     0 $accept: declare $end .
 
     $default  accept
 
 
 state 5
 
     1 declare: VAR NAME ';' .
 
     $default  reduce using rule 1 (declare)

希望高手指一二.

[localxiao]

好久没碰yacc lex

一脸茫然了。。

[baihacker]

没有问题吧。
3读入;转到5，完成归约，然后递归。
如果在一个declare后没有串了，就是state2进入state4的过程，然后accept。
这是分析多个declare的，而不是一个啊。

[xero_123]

就yacc和lex来看好像并不存在问题啊？

[ForestDB]

只能顶。

[Viweei]

谢谢大家我知道是什么问题了,是我傻了....呵呵.