加法器的 EBNF 语法

Question

以下是基本加法器的正确 EBNF 语法吗？

Allow addition with non-negative numbers, without spaces, between exactly two terms
Examples: 1+2 or 0+11 or 0+012

<expression> ::= <number> <plus> <number>
<number>     ::= [0-9]+
<plus>       ::= '+'

如果这是正确的，关于这个的几个问题：

• 什么时候引用一个术语？ 例如， <plus>是'+'还是+ ， <number>是[0-9]+还是'[0-9]+' ？
• 是否有关于如何引用术语的约定，例如'+'或"+" ，或者它们是否可以互换？
• 建议物品有多“可分解”？ 例如， <number>是否是无效项目，而应改为<digit>::= [0-9] <number>::= <digit>+ 。
• 如何处理元素之间的空白？ 在我看到的示例中，似乎空格主要用于可读性，所以除非另有定义，否则它会被忽略，或者它是如何工作的？

更新：它似乎与制作加号"+"而不是'+' +”的变化一起工作： 加法器示例。