python - 如何在 ebnf 语法中实现不重复的规则组合？

Question

我正在使用 Grako EBNF/PEG parser .

我知道 EBNF 语法允许获取满足给定选项之一的表达式:

(a | b | c)

是否有类似的语法部分或解决方法允许获取 a、b 和 c 的任意组合的表达式而不用重复，这样有效的表达式就像:

a b c
b a c
a b
b c
b
none

但不喜欢:

b b c
a a

?

Answer 1

一种方法是在规则中拼出组合。

另一种方法是使用语义操作来检查重复并在找到它们时引发 grako.exceptions.FailedSemantics。解析器的行为就像输入没有被解析一样。