0

我正在尝试使用 flex & bison 编写给定语言的迷你编译器。它工作得很好，直到我发现我忘记了一个包含递归的规则，规则是：

 liste_data : liste_data declar | declar;

当我添加它时，我遇到了我不理解的 shift/reduce 冲突。我的语法没有歧义

这是我的语法的简化版本：

s:idf bloc_data mc_end   { printf ("programme juste (lexique+syntaxe)\n"); YYACCEPT;}
;
bloc_data:mc_data liste_data mc_end
|mc_data mc_end
;
liste_data : declar
|liste_data declar
;
declar: liste_const
|liste_type
;
liste_type:liste_type def_type
|def_type
;
def_type:mc_char ':' liste_var ';'
;
liste_var:idf
|liste_var '|' idf
;
liste_const:liste_const constante
|constante
;
constante:mc_const ':' idf affect entier ';'
;

它基本上说我可以在 DATA 块中定义字符和常量

这是我的 .output

État 11 conflits: 1 décalage/réduction
État 13 conflits: 1 décalage/réduction


Grammaire

0 $accept: s $end

1 s: idf bloc_data mc_end

2 bloc_data: mc_data liste_data mc_end
3          | mc_data mc_end

4 liste_data: declar
5           | liste_data declar

6 declar: liste_const
7       | liste_type

8 liste_type: liste_type def_type
9           | def_type

10 def_type: mc_char ':' liste_var ';'

11 liste_var: idf
12          | liste_var '|' idf

13 liste_const: liste_const constante
14            | constante

15 constante: mc_const ':' idf affect entier ';'
.
.
.

état 11

7 declar: liste_type .
8 liste_type: liste_type . def_type

mc_char  décalage et aller à l'état 7

mc_char   [réduction par utilisation de la règle 7 (declar)]
$défaut  réduction par utilisation de la règle 7 (declar)

def_type  aller à l'état 20


état 13

6 declar: liste_const .
13 liste_const: liste_const . constante

mc_const  décalage et aller à l'état 8

mc_const  [réduction par utilisation de la règle 6 (declar)]
$défaut  réduction par utilisation de la règle 6 (declar)

constante  aller à l'état 21

它说我的班次/减少冲突处于状态 11 和 13，但我无法弄清楚究竟是为什么。它应该识别这样的东西：

DATA
CONST: Er=5;
CONST: H=56;
CHAR: Hg|rt;
END
4

1 回答 1

1

Aliste_const只是一个constante没有中间标点符号的列表：

constante constante constante constante

adeclar可能是liste_const

如果你有 a 会发生什么liste_data（实际上是 a liste_declar，不是吗？）。这可能是 的列表constante，但无法知道第一个列表的constante结束位置和下一个列表的开始位置。所以上面可以解析为

<list_const <constante constante>> <list_const <constante>> <list_const <constante>>

或者

<list_const <constante constante constante constante>>

或大量其他可能性。

情况与此liste_type类似。

换句话说，您不希望 aliste_data成为常量和类型列表的列表；您希望它是（常量或类型）的列表。

就个人而言，我只是改变：

declar: def_type | constante;

并摆脱liste_typeand list_const。

于 2014-04-17T16:35:53.607 回答