Question

我在野牛中构建语法并且我有r / r冲突（我知道它在哪里），但我不知道如何修复它。我将不胜感激。

我的代码中包含冲突的部分是：

orismos2: %empty
|orismos orismos2
|error {yyerrok;yyclearin;};

orismos: orismosmetablitwn
|orismossunartisis
|prwtotuposunartisis;

orismosmetablitwn: tuposdedomenwn listametablitwn SEMICOLON ;

tuposdedomenwn: INT
|BOOL
|STRING;

listametablitwn: ID nid ;

nid: %empty
|pid nid
|error {yyerrok;yyclearin;};

pid: COMMA ID ;

orismossunartisis: kefalidasunartisis tmimaorismwn tmimaentolwn;

prwtotuposunartisis: kefalidasunartisis SEMICOLON;

kefalidasunartisis: typos_synartisis ID OPENBRACKET c CLOSEBRACKET;

typos_synartisis: INT
|BOOL
|VOID;

我制作了一个输出文件，在其中我可以看到所有冲突。

包含冲突的文件部分是：

State 21 conflicts: 1 reduce/reduce
State 22 conflicts: 1 reduce/reduce


Grammar

   10 orismos2: %empty
   11         | orismos orismos2
   12         | error

   13 orismos: orismosmetablitwn
   14        | orismossunartisis
   15        | prwtotuposunartisis

   16 orismosmetablitwn: tuposdedomenwn listametablitwn SEMICOLON

   17 tuposdedomenwn: INT
   18               | BOOL
   19               | STRING

   20 listametablitwn: ID nid

   21 nid: %empty
   22    | pid nid
   23    | error

   24 pid: COMMA ID

   25 orismossunartisis: kefalidasunartisis tmimaorismwn tmimaentolwn

   26 prwtotuposunartisis: kefalidasunartisis SEMICOLON

   27 kefalidasunartisis: typos_synartisis ID OPENBRACKET c CLOSEBRACKET

   28 typos_synartisis: INT
   29                 | BOOL
   30                 | VOID


State 21

   17 tuposdedomenwn: INT .
   28 typos_synartisis: INT .

    ID        reduce using rule 17 (tuposdedomenwn)
    ID        [reduce using rule 28 (typos_synartisis)]
    $default  reduce using rule 17 (tuposdedomenwn)


State 22

   18 tuposdedomenwn: BOOL .
   29 typos_synartisis: BOOL .

    ID        reduce using rule 18 (tuposdedomenwn)
    ID        [reduce using rule 29 (typos_synartisis)]
    $default  reduce using rule 18 (tuposdedomenwn)

我真的尝试了一切，但我无法消除冲突......欢迎任何想法或建议！

非常感谢!!

Answer 1

关键在于：......

orismos → (13) orismosmetablitwn → (16) tuposdedomenwn listametablitwn
orismos → (14) orismossunartisis → (25) kefalidasunartisis … → (27) typos_synartisis …
orismos → (15) prwtotuposunartisis → (26) kefalidasunartisis … → (27) typos_synartisis …

另外：

tuposdedomenwn → NUMBER | BOOL | STRING
listametablitwn → ID …
kefalidasunartisis → typos_synartisis ID …
typos_synartisis → NUMBER | BOOL | VOID

所以，这里有orismos的一些推导：

orismos → orismosmetablitwn → tuposdedomenwn listametablitwn → NUMBER ID …
orismos → orismossunartisis → kefalidasunartisis … → typos_synartisis … → NUMBER ID …
orismos → prwtotuposunartisis → kefalidasunartisis … → typos_synartisis … → NUMBER ID …

假设我们处于orismis可能的环境中，我们刚看到NUMBER，我们现在正在查看ID。以上所有三种推导都是可能的。但是存在一个小问题：在第一个问题中，NUMBER来自tuposdedomenwn，而后两个来自typos_synartisis。在我们对ID做任何事情之前，我们需要知道要减少哪两个派生，但我们无法知道，直到我们在<{em>之后看到令牌 {{ 1}}。

这意味着语法需要两个前瞻标记，因此LALR（1）解析器无法解析它。

最简单的解决方案是将两个非终端组合起来，形成一组类型，创建一个允许所有四种可能性的非终端：

ID

然后，您将不得不在稍后进行语义检查，以验证变量未声明tuposdedomenwn: NUMBER | BOOL | STRING | VOID，也未声明函数VOID。（为什么你的函数不能返回字符串？这似乎有点限制。）这种接受语言上标然后在AST构建期间甚至更晚的时候进行语义检查的策略非常普遍;例如，它是在使用变量之前强制执行声明的唯一方法。

但是如果你不想进行语义检查，你可以通过创建由数据类型和STRING组成的非终端来简单地推迟减少。这将导致类似：

ID

通过这种更改，无需减少tupodedomenon_kai_metavlites : INT ID | BOOL ID | STRING ID | tupodedomenon_kai_metavlites ',' ID tupo_synartisis_kai_metavliton : INT ID | BOOL ID | VOID ID orismos: orismosmetablitwn | orismossunartisis | prwtotuposunartisis orismosmetablitwn : tupodedomenon_kai_metavlites ';' orismossunartisis : kefalidasunartisis tmimaorismwn tmimaentolwn prwtotuposunartisis : kefalidasunartisis ';' kefalidasunartisis : tupo_synartisis_kai_metavliton '(' c ')'（或其他类型）;可以移动NUMBER，然后根据以下标记执行减少到一种或另一种可能性：如果以下标记是ID或;，则作为变量声明，如果以下标记是,，则作为函数声明。

野牛减少/减少语法冲突

1 个答案: