标签: ebnf-syntactic-exception

我知道EBNF可以用来表达Context Free Grammar，但是两者有什么区别吗？

我问是因为有些问题要求将 EBNF 转换为 CFG，但据我目前的理解，它们看起来相同。因此，这种转换背后的意图是什么？

我想使用扩展巴科斯-诺尔形式 (EBNF) 上下文无关语法定义一组无序的值。在 EBNF 中定义一个无序列表的值很容易，例如：

value = 'A' | 'B' | 'C';
list = value, {',', value};

但是，我怀疑它是否可以用于无序集合。

以下是有效的无序值集的示例：

A, B, C, D
A, B, D, C
A, D, C, B
...
D, C, B, A

虽然无效列表将是：

A, A, C, D
B, C, C, B
A, A, A, A
...

或任意长度的列表。

A, A, B, C, D, A
A, B, C, D, A, B, C, D
...