对于特定次数的重复，BNF (或类似BNF)语法是什么？

Question

我想写这样的东西

<byte> ::= <bit>*8

这意味着<byte>就是<bit>'s的一个序列。

在BNF[1][2]中是否有一种方法可以做到这一点，或者是广泛使用的BNF扩展？多么?

Answer 1

在BNF中，您可以通过重复符号来定义它：

<byte> ::= <bit> <bit> <bit> <bit> <bit> <bit> <bit> <bit>

另一方面，增广巴克斯-诺尔形式定义了重复：

<example> ::= *<bit>

上述手段包括：

<example> ::= "" | <bit> <example>

所以，没有或更多的bit。

对于一个或多个，你可以说：

<example> ::= 1*<bit>

对于一个范围(例如一到四)，包括：

<example> ::= 1*4<bit>

或固定数目：

<example> ::= 8*8<bit>

你也可以这样写：

<example> ::= 8<bit>

注意:在ABNF中，<和>是可选的。