0

我有以下yacc语法：

OPTIONS:OPTIONS OPTION                  {printf("%s\n", "Options    enabled");}
        | OPTION                        {printf("%s\n",     "First option");}
        |
        ;

OPTION:   DEBUG                         {printf("%s\n",   "debug enabled");}
        | NESTING                       {printf("%s\n", "nesting enabled");}
        | '(' STACK '=' NAME ')'        {printf("%s\n", "stack size given");}
    | NOLIST                        {printf("%s\n", "nolist enabled");}
    | VIEW EQ NAME                  {printf("%s\n", "this is a view, first name is view name");}
    ;

对于空规则，它给了我移位/减少错误。错误的 Y.output 文件如下所示：

17 OPTIONS: . OPTIONS OPTION
18        | . OPTION
19        | .  [SEMICOLON, VIEW, DEBUG, NESTING, NOLIST, '(']
20 OPTION: . DEBUG
21       | . NESTING
22       | . '(' STACK '=' NAME ')'
23       | . NOLIST
24       | . VIEW EQ NAME

NAME     shift, and go to state 4
VIEW     shift, and go to state 11
DEBUG    shift, and go to state 12
NESTING  shift, and go to state 13
NOLIST   shift, and go to state 14
'('      shift, and go to state 15

VIEW      [reduce using rule 19 (OPTIONS)]
DEBUG     [reduce using rule 19 (OPTIONS)]
NESTING   [reduce using rule 19 (OPTIONS)]
NOLIST    [reduce using rule 19 (OPTIONS)]
'('       [reduce using rule 19 (OPTIONS)]
$default  reduce using rule 19 (OPTIONS)

有人可以建议，如何解决这个问题？

4

1 回答 1

1

您对规则 OPTIONS 有一个递归。存在冲突是因为有两种方法可以停止该递归。例如，如果您只有一个选项，则有两种不同的解析树。

OPTIONS         or                OPTIONS
   |                               |    \
 OPTION                        OPTIONS  OPTION
   |                               |
  ...                       "empty rule"

因此，删除空规则或OPTIONS : OPTION（维护空规则），问题应该就消失了。

于 2014-04-02T14:16:47.843 回答