如何理解这个ebnf-pascal定义

我正在实现一个Pascal解析器 EBNF defintion . 以下规范中有一些我不理解的地方:

variable
   entire-variable | component-variable | referenced-variable 

entire-variable
   variable-identifier | field-identifier

component-variable
   indexed-variable | field-designator | file-buffer

field-designator
   record-variable "." field-identifier 

假设我们要应用 variable 在生产上 a.b[0] . 自从 a 符合 entire-variable 生产,这将阻止 component-variable 从检测到 field-designator a.b 因此, . 下列的 一 将停止分析器。