grammar - BNF 表示逗号分隔序列？

Question

无法为字符序列(可能为空)提出 BNF 语法，以逗号分隔，但不以逗号开头或结尾，

所以这没问题:

  <--- Empty sequence is ok!
A
A,B
A,B,C

这不行:

A,
,A
A,,B
AB

空箱子让我很失望。到目前为止我得到的是:

<char-seq> ::= <empty> | <char> , <char-seq> | <char>

但这会产生类似 A, :-(

Answer 1

空字符序列给你带来了麻烦。您需要一个与非空序列匹配的规则与同时匹配空序列和非空序列的规则分开，如下所示:

<char-seq> ::= <empty> | <non-empty-char-seq>
<non-empty-char-seq> ::= <char> | <char> , <non-empty-char-seq>