EBNF 或后跟声明

EBNF or followed by statement

我正在查看 EBNF 的这一行:

<zeg> = <zig>|<zag>[<zug><zug>]

[<zug><zug>] 是仅在使用 <zag> 时可用,还是始终可用,即使使用 <zig>

| 将是 most-loosely 绑定的东西。换句话说:

<zeg> 等同于 <zig> | (<zag>[<zug><zug>])

不等同于 (<zig> | <zag>)[<zug><zug>].

所以你的第一个解释。