转移/减少yacc-Flex中的冲突

Question

我在yacc中遵循语法，但是我得到1个班次/减少冲突：

   %union {
   char* integer;
    char* string;
    char* boolean;
    char* date;
};



%token <integer> INTEGER
%token <string> STRING
%token <boolean> BOOLEAN
%token <date> DATE
%token WORKBOOK_START WORKBOOK_END STYLES_START STYLES_END STYLE_START STYLE_END WORKSHEET_START
%token WORKSHEET_END CLOSE_TAG EQUAL QUOTES COL_END_TAG
%token TABLE_START TABLE_END COLUMN_START ROW_START ROW_END CELL_START CELL_END DATA_START DATA_END
%token ID NAME PROTECTED EXPCOLCOUNT EXPROWCOUNT STYLEID HIDDEN WIDTH HEIGHT MERGEACR MERGEDOWN TYPE
%token MY_NUMBER MY_STRING MY_BOOL MY_DATETIME

%%
WORKBOOK: WORKBOOK_START INWORKBOOK WORKBOOK_END ;

INWORKBOOK: WORKSHEET MORE_WORKSHEETS 
      | NUM_STYLES WORKSHEET MORE_WORKSHEETS
      ;

MORE_WORKSHEETS: WORKSHEET MORE_WORKSHEETS
           |
           ;

NUM_STYLES: STYLES NUM_STYLES
      |
      ;

STYLES: STYLES_START INSTYLES STYLES_END ;

INSTYLES: STYLE INSTYLES
    |
    ;

STYLE: STYLE_START INSTYLE STYLE_END ;

INSTYLE: id CLOSE_TAG ; 

id: ID EQUAL QUOTES STRING QUOTES {checkID($4);};

WORKSHEET: WORKSHEET_START INWORKSHEET WORKSHEET_END  ;

INWORKSHEET: name protected CLOSE_TAG MORE_TABLES
       | protected name CLOSE_TAG MORE_TABLES
       | name CLOSE_TAG MORE_TABLES
       ;

name: NAME EQUAL QUOTES STRING QUOTES ;

%%

我使用-v选项来获取生成的冲突，似乎我在WORKBOOK: WORKBOOK_START INWORKBOOK WORKBOOK_END ;有问题

State 1
1 WORKBOOK: WORKBOOK_START . INWORKBOOK WORKBOOK_END
STYLES_START     shift, and go to state 3
WORKSHEET_START  shift, and go to state 4
WORKSHEET_START  [reduce using rule 7 (NUM_STYLES)]
INWORKBOOK  go to state 5
NUM_STYLES  go to state 6
STYLES      go to state 7
WORKSHEET   go to state 8

我该如何解决这个问题？有什么建议？

Answer 1

NUM_STYLES可能是空的。所以考虑到两种选择：

INWORKBOOK: WORKSHEET MORE_WORKSHEETS 
          | NUM_STYLES WORKSHEET MORE_WORKSHEETS

如果输入的星号带有可能是WORKSHEET开头的标记，则解析器无法判断它是否应该使用第一个生成，或者是否应该减少空NUM_STYLES并使用第二个生成。

您应该再次查看状态表，并尝试了解它是如何告诉您该问题的。