Question

我为解析文本文件而编写的野牛语法给了我10个移位/减少冲突。 parser.output文件对我没有帮助。该文件提供了以下信息：

State 38 conflicts: 5 shift/reduce
State 40 conflicts: 4 shift/reduce
State 46 conflicts: 1 shift/reduce

Grammar

0 $accept: session $end

1 session: boot_data section_start

2 boot_data: head_desc statement head_desc head_desc

3 head_desc: OPEN_TOK BOOT_TOK statement CLOSE_TOK
4          | OPEN_TOK statement CLOSE_TOK

5 statement: word
6          | statement word

7 word: IDENTIFIER
8     | TIME
9     | DATE
10     | DATA

11 section_start: section_details
12              | section_start section_details
13              | section_start head_desc section_details

14 $@1: /* empty */

15 section_details: $@1 section_head section_body section_end

16 section_head: START_TOK head_desc START_TOK time_stamp

17 time_stamp: statement DATE TIME

18 section_body: log_entry
19             | section_body log_entry

20 log_entry: entry_prefix body_statements
21          | entry_prefix TIME body_statements

22 body_statements: statement
23                | head_desc

24 entry_prefix: ERROR_TOK
25             | WARN_TOK
26             | /* empty */

27 $@2: /* empty */

28 section_end: END_TOK statement $@2 END_TOK head_desc

 state 38

 8 word: TIME .
21 log_entry: entry_prefix TIME . body_statements

 OPEN_TOK    shift, and go to state 1
 TIME        shift, and go to state 6
 DATE        shift, and go to state 7
 DATA        shift, and go to state 8
 IDENTIFIER  shift, and go to state 9

 OPEN_TOK    [reduce using rule 8 (word)]
 TIME        [reduce using rule 8 (word)]
 DATE        [reduce using rule 8 (word)]
 DATA        [reduce using rule 8 (word)]
 IDENTIFIER  [reduce using rule 8 (word)]
 $default    reduce using rule 8 (word)

 head_desc        go to state 39
 statement        go to state 40
 word             go to state 11
 body_statements  go to state 45


state 39

23 body_statements: head_desc .

$default  reduce using rule 23 (body_statements)


state 40

6 statement: statement . word
22 body_statements: statement .

TIME        shift, and go to state 6
DATE        shift, and go to state 7
DATA        shift, and go to state 8
IDENTIFIER  shift, and go to state 9

TIME        [reduce using rule 22 (body_statements)]
DATE        [reduce using rule 22 (body_statements)]
DATA        [reduce using rule 22 (body_statements)]
IDENTIFIER  [reduce using rule 22 (body_statements)]
$default    reduce using rule 22 (body_statements)

word  go to state 19

state 46

9 word: DATE .
17 time_stamp: statement DATE . TIME

TIME  shift, and go to state 48

TIME      [reduce using rule 9 (word)]
$default  reduce using rule 9 (word)

我语法的等同部分是：

statement : word
    {
        printf("WORD\n");
        $$=$1;
    }
    |statement word
    {
        printf("STATEMENTS\n");
        $$=$1;
        printf("STATEMENT VALUE== %s\n\n",$$);
    }
    ;

 word : IDENTIFIER
    {
        printf("IDENTIFIER\n");
        $$=$1;
    }
    |TIME
    {
        printf("TIME\n");
        $$=$1;
    }
    |DATE
    {
        printf("DATE\n");
        $$=$1;
    }
    |DATA
    {
    }
    ;
section_start : section_details 
    {
        printf("SINGLE SECTIONS\n");        
    }
    |section_start section_details
    {
        printf("MULTIPLE SECTIONS\n");   
    }
    |section_start head_desc section_details
    ;

section_details :
        {
             fprintf(fp,"\n%d:\n",set_count); 
        }
         section_head section_body section_end
         {
            printf("SECTION DETAILS\n");
             set_count++;

        }
         ;

section_head : START_TOK head_desc START_TOK statement time_stamp
         {
            printf("SECTION HEAD...\n\n%s===\n\n%s\n",$2,$4);
            fprintf(fp,"%s\n",$4);

         }
         ;
time_stamp : DATET TIME
    {

    }
    ;
section_body :log_entry
         {

         }
        |section_body log_entry
         {

         }
         ;

log_entry : entry_prefix body_statements
         {

         }
         |entry_prefix TIME body_statements
         {

        }
        ;

body_statements : statement
        {

        }
        |head_desc
        {

        }
        ;

请帮我解决这个问题..

由于

Answer 1

yacc / bison解析器中的冲突意味着语法不是LALR（1） - 这通常意味着某些内容不明确或需要超过1个前瞻标记。默认分辨率是选择始终转换为缩小，或选择始终缩小第一个规则（用于减少/减少冲突），这将导致解析器识别语法描述的语言的子集。这可能是也可能不是 - 在模糊语法的情况下，通常情况是＆＃34;子集＆＃34;事实上是整个语言，默认的分辨率削减了模糊的情况。但是，对于需要更多前瞻的案例，以及一些不明确的案例，默认解决方案将导致无法解析语言中的某些内容。

要弄清楚在任何给定冲突中出现了什么问题，.output文件通常会为您提供所需的一切。在您的情况下，您有3个冲突状态 - 通常单个州的冲突都是一个相关的问题。

state 38
 8 word: TIME .
21 log_entry: entry_prefix TIME . body_statements

这种冲突在log_entry和body_statements的规则之间存在歧义：

log_entry: entry_prefix body_statements
         | entry_prefix TIME body_statements

body_statements可以是一个或多个TIME / DATE / DATA / IDENTIFIER令牌的序列，因此当您输入时（例如）entry_prefix TIME DATA，它可以是第一个log_entry规则，TIME DATA为body_statements，第二个log_entry规则只有DATA body_statements。

在这种情况下，默认解决方案将支持第二条规则（转而将TIME视为log_statements的一部分，而不是将其缩减为word，使其成为{{1}的一部分}}），并将导致＆＃34;子集＆＃34;这就是整个语言 - 唯一会错过的解析是模棱两可的。这是一个类似于＆＃34;悬挂其他＆＃34;在某些语言中显示，默认转移可能完全符合您的要求。

要消除这种冲突，最简单的方法就是摆脱body_statements规则。这与默认分辨率具有相反的效果 - 现在TIME将始终被视为BODY的一部分。问题是现在如果你想以不同的方式对待身体中的初始log_entry: entry_prefix TIME body_statements，你就不会有单独的规则来减少。如果您需要做一些特别的事情，您可以检查以TIME开头的正文的操作。

TIME

这是另一个模棱两可的问题，这次是state 40 6 statement: statement . word 22 body_statements: statement .，它无法告诉一个section_body结束而另一个开始的位置。 log_entry由一个或多个section_body组成，每个log_entries都是entry_prefix，后跟body_statements。如上所述，body_statements可能是一个或多个word令牌，而entry_prefix可能是空的。因此，如果您的section_body只是一个word令牌序列，则可以将其解析为单个log_entry（没有entry_prefix）或序列log_entry个规则，每个规则都没有entry_prefix。默认转换为降低分辨率有利于在减少statement之前将尽可能多的令牌放入单个body_statement中，因此将其解析为单个log_entry，这可能没问题。< / p>

要消除这种冲突，您需要重构语法。由于statement中任何log_entry的尾部可能是另一个log_entry，而entry_prefix没有statement而body_statements log_entry，因此您非常需要消除这种情况（这是默认的冲突解决方案）。假设您已删除第二个log_entry规则修复了之前的冲突，请首先解除log_entry: ERROR_TOK body_statements | WARN_TOK body_statements | head_desc initial_log_entry: log_entry | statements以使问题案例成为其自己的规则：

section_body

现在更改section_body: initial_log_entry | section_body log_entry规则，使其仅针对第一个使用拆分规则：

state 46
9 word: DATE .
17 time_stamp: statement DATE . TIME

冲突消失了。

DATE

这种冲突是一种前瞻性歧义问题 - 因为TIME和statement令牌可以出现在time_stamp中，在解析statement时它无法分辨DATE结束且终端TIME / DATE TIME开始的位置。默认解决方案将导致将time_stamp对视为time_stamp的结尾。既然section_head仅出现在section_body的{{1}}末尾，而section_body可能以statement开头，那么这可能就好了好。

所以很可能你的语法中的所有冲突都是可以忽略的，甚至可能这样做，因为这比重写语法以摆脱它们更简单。另一方面，冲突的存在使修改语法变得更加困难，因为任何时候你都需要重新检查所有冲突，以确保它们仍然是良性的。

＆＃34;冲突的默认解决方案＆＃34;是一个令人困惑的问题。和＆＃34;状态＆＃34;中的默认操作。这两个默认值彼此无关 - 第一个是yacc / bison在构建解析器时做出的决定，第二个是解析器在运行时做出的决定。所以当你在输出文件中有一个状态时：

state 46

9 word: DATE .
17 time_stamp: statement DATE . TIME

TIME  shift, and go to state 48

TIME      [reduce using rule 9 (word)]
$default  reduce using rule 9 (word)

这告诉你，野牛已确定此状态的可能操作是转换到状态48还是减少规则9.只有在前瞻标记是TIME时才能执行转移操作，而减少许多先行令牌都可以采取行动，包括时间。因此，为了最小化表大小，而不是枚举reduce操作的所有可能的下一个令牌，它只是说$default - 这意味着只要没有先前的操作与前瞻令牌匹配，解析器就会执行reduce操作。 $default操作始终是该州的最后一个操作。

因此，处于此状态的解析器代码将在操作列表中向下运行，直到找到与前瞻令牌匹配并执行该操作的操作。仅包含TIME [reduce ...操作，以明确表示此状态存在冲突，并且当前瞻为reduce时，禁止行动TIME的野牛解决了该问题。因此，为此状态构造的实际操作表将只有一个操作（在令牌TIME上移位），然后是默认操作（在任何令牌上减少）。

请注意，尽管事实并非所有令牌在word之后都是合法的，但它仍然可以减少任何令牌。这是因为即使下一个令牌是非法的，因为减少不会从输入读取它（它仍然是前瞻），后来的状态（在可能多次默认减少之后）将看到（并报告）错误。

修复转移/减少野牛语法中的冲突

1 个答案: