0

基于这个问题,这个 Bison 代码中的移位/减少冲突来自哪里?我正在尝试为这样的语法创建语法:

-10 + 3 - 2+4 - 2 + 1。第一个整数显然有符号。

这是我已经拥有的:

%token INT
...
Term: INT;
TermOps: "+" | "-";
SignedTerm: TermOps Term | Term;
reminder: /* EPS */ | TermOps TermList;
TermList: SignedTerm reminder;

我知道 for 的规则SignedTerm显然是错误的,因为它会产生歧义,但我该如何解决呢?

4

1 回答 1

1

Bison 生成 LALR 解析器,因此无需将语法扭曲为可使用 LL 算法解析的版本。

语法只需要反映语言的结构。在这个简单的例子中,语言指定一个项是一个整数,它前面可能有一个符号,并且一个表达式从左到右分组。(这是我的假设,但这是通常的约定。)

这可以简单地写成:

term: INT
    | '+' term
    | '-' term

expr: term
    | expr '+' term
    | expr '-' term

这些定义直接来自描述。

于 2015-12-08T15:46:05.823 回答