pascal - 如何理解这个 EBNF Pascal 定义

Question

我正在从这里实现一个 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因此 .关注 a将停止解析器。

Answer 1

由于 EBNF 没有有序的选择，最长的匹配通常用于确定哪些规则适用。