bison - 野牛规则怎么写？

Question

我有这样的规则：

A --> a B C d，其中 a, d是终端符号，B, C是非终端符号。

B -->   a1 | a2 | a3
C -->   a4 | a5 | a6

我在野牛中写了这条规则：

  my_rule:
            a B C d   {   handler->handle_B_C(handle_B($2), handle_C($3)); }
  B :
      a1 { $$ = ONE; }
    | a2 { $$ = TWO; }
    | a3 { $$ = THREE; }
    ;
  C:
         a4 { $$ = FOUR; } 
      | a5  { $$ = FIVE; }
      | a6  { $$ = SIX  }

我想像这样写这条规则：

   A --> a B
   A --> errorCase
   B --> a1 C | a2 C | a3 C
   B --> errorCase
   C --> a4 D | a5 D | a6D
   D --> d
   D -->errorCase

但我不知道如何用野牛写它。谁能帮我用野牛写它？（我不知道我应该如何获得 B 和 D 的价值）

Answer 1

以下语法被 yacc(BSD) 接受，没有任何问题。它也应该适用于野牛（Linux）。

按照一般惯例，代币通常大写，规则小写。

%token A A1 A2 A3 A4 A5 A6 A7 D

%%

a
    : A b {
        $$ = node($1, $2);
    }
    ;

b
    : A1 c {
        $$ = node($1, $2);
    }
    | A2 c {
         $$ = node($1, $2);
    }
    | A3 c {
         $$ = node($1, $2);
    }
    ;

c
    : A4 d {
         $$ = node($1, $2);
    }
    | A5 d {
         $$ = node($1, $2);
    }
    | A6 d {
         $$ = node($1, $2);
    }
    ;

d
    : D {
        $$ = node($1);
    }
    ;
%%

#include <stdio.h>

void yyerror(const char *s)
{
    fflush(stdout);
    fprintf(stderr, "*** %s\n", s);
}