将 EBNF 转换为 Bison

Question

我有这段 EBNF 语法，我想将其转换为 Bison 语法。

E ::= {S [`;´]} [L [`;´]]

我对语法没有太多经验，但我想我设法弄清楚有一些可选部分和一些重复。

我的尝试：

E:      S semiColOp E lOp semiColOp
;
semiColOp:  /* No Action*/ 
        | semiCol//';' 
;

lOp:        /* No Action*/ 
        | laststat   
;

我无法测试这个自动取款机，所以很高兴能从你们那里得到一些意见。

Answer 1

这就是我的做法：

program   : statements
          | statements last opt_semi
          ;

statements: /* empty */
          | statements statement opt_semi
          ;

opt_semi  : /* empty */
          | ';'
          ;

其中program对应E； statement 到 S 和 last 到 L。