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

Question

我正在使用Grako EBNF/PEG parser。在

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

(a | b | c)

是否有类似的语法部分或解决方法允许在不重复的情况下获取a、b和{}的任何组合的经验，以便有效的表达式如下所示：

^{2}$

但不像：

b b c
a a

是吗？在

Answer 1

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

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