从C初始化列表的语法中解决歧义

Question

我似乎无法解决以下规则中包含的歧义：

InitializerList_a→,Initializer][InitializerList_a]

它在我的解析器中引起了移位/减少冲突（我使用的是Bison）。以下是它的结束：

InitializerList_a → ε
Initializer → [Constant]
Initializer → {[InitializerList][Initializer_a]
Initializer_a → }
Initializer_a → ,}
InitializerList → [Initializer][InitializerList_a]

如有任何帮助，我们将不胜感激。如果需要，我可以发布野牛输出文件。

以下是以更可读的方式编写的相同语法：

L → IT
T → ,IT | ε
I → [Constant] | {LA
A → } | ,}
where [Constant] is a terminal

Answer 1

这应该涵盖了它。类似YACC的语法在语法中更喜欢头递归而不是尾递归。

%start I
%token CONSTANT
%%
I: CONSTANT | '{' L '}' ;
L: J | J ',' ;
J: I | J ',' I ;