Сдвиг / уменьшение конфликта в yacc-Flex - PullRequest
Новая
       46

Сдвиг / уменьшение конфликта в yacc-Flex

0 голосов
/ 18 сентября 2018

У меня есть следующая грамматика в 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

Как я могу решить эту проблему?Есть предложения?

1 Ответ

0 голосов
/ 18 сентября 2018

NUM_STYLES может быть пустым. Итак, учитывая две альтернативы: 

INWORKBOOK: WORKSHEET MORE_WORKSHEETS 
          | NUM_STYLES WORKSHEET MORE_WORKSHEETS

если входные звёзды помечены токеном, который может быть началом WORKSHEET, то парсер не сможет определить, должен ли он использовать первую продукцию, или он должен уменьшить пустую NUM_STYLES и использовать второе производство.

Вы должны снова взглянуть на таблицу состояний и попытаться понять, как она говорит вам об этой проблеме.

...