IEC 14977-02（ISO/IEC 14977:2002）扩展巴科斯-诺尔范式（EBNF）标准详解

一、标准概况与适用范围

IEC 14977-02（等同采用 ISO/IEC 14977:2002）是国际电工委员会（IEC）与国际化标准组织（ISO）联合制定的信息技术标准，其核心内容是定义一种用于描述语法的元语言——扩展巴科斯-诺尔范式（Extended Backus-Naur Form，EBNF）。该标准最初于 1996 年发布，2002 年进行技术修订，目前已成为描述计算机语言、通信协议、文档格式及接口规范的标准元语法之一。

本标准的适用范围包括但不限于：

• 编程语言（如 C++、Java、Python）的语法规范；
• 网络协议（如 HTTP、MQTT）的消息结构定义；
• 标记语言（如 XML、JSON Schema）的合法格式约束；
• 文档标准（如 DITA、DocBook）的内容模型描述；
• 其他需要精确、无二义性定义形式语法的人工或自动解析场景。

截至 2026 年，ISO/IEC 14977:2002 依然被广泛引用，并作为许多现代 EBNF 方言（如 W3C EBNF）的基础参考。

二、主要技术内容与要求

IEC 14977-02 规定了 EBNF 的语法元素、符号表示及语义解释。核心语法构件包括：

• 非终结符（Non-terminal）：由标识符表示，可被规则定义展开；
• 终结符（Terminal）：用引号括起的字符串或字符集；
• 定义符号：::=（左侧由右侧定义）；
• 连接（Concatenation）：并置符号；
• 选择（Alternation）：用竖线 | 分隔多个候选；
• 重复（Repetition）：用花括号 { } 表示零次或多次；
• 可选（Optional）：用方括号 [ ] 表示零次或一次；
• 分组（Grouping）：用圆括号 ( ) 改变优先级；
• 异常（Exception）：用 - 表示排除指定序列；
• 注释：以 (* 开头、*) 结尾。

下表总结了标准中定义的 EBNF 顶层构造及其语法表示：

标准对每个结构的语义做了严格规定：例如，重复操作符 { } 默认允许重复零次到无穷次，而 [ ] 则允许出现一次或不出现。异常操作符 - 用于定义“扣除”规则，常见于排除保留字等场景。

语法实例

以下是一个符合 ISO/IEC 14977 的简单 EBNF 片段，用于描述数字列表：

 (* 一个数字列表，由逗号分隔的数字组成 *) Digit ::= '0' | '1' | '2' | '3' | '4' | '5' | '6' | '7' | '8' | '9' Number ::= Digit { Digit }['.'{Digit}] List ::= Number { ',' Number } 

该片段展示了终结符、选择、重复和可选的组合用法。

三、实施与应用要点

工具支持

要实现 IEC 14977-02 标准，开发人员通常使用以下方式：

• 基于标准 EBNF 的解析器生成器（如 ANTLR 可配置接近 EBNF 的语法）；
• 专门验证 EBNF 语法的工具（如 ISO-IEC-EBNF 验证器）；
• 在文档中使用 EBNF 片段时，应遵循标准规定的符号，并优先使用 ',' 作为连接符（虽然标准允许隐式连接）。

常见误区

• 混淆重复与可选：{ } 和 [ ] 语义不同，前者允许多次，后者仅一次或零次。
• 递归定义中的无限循环：例如左递归可能导致解析器栈溢出，需使用重复结构避免之。
• 异常操作符的误用：A - B 要求 B 是 A 的子序列，否则结果为空集。

实施建议

在项目中使用 EBNF 时，应确保：

• 所有非终结符均有定义，无悬空引用；
• 终结符尽可能明确字符集，避免歧义；
• 利用注释对复杂规则进行说明，提高可维护性；
• 进行语法一致性测试（例如解析已知语料库）。

四、与其他标准的关系

IEC 14977-02 属于 ISO/IEC 联合技术委员会 JTC 1 制定的标准之一。它与其他元语言标准有如下关系：

• W3C EBNF：基于 ISO/IEC 14977 但有所简化（如使用 ? 替代 [ ]，*、+ 表示重复），广泛用于 XML 及 SGML 规范。
• ABNF（RFC 5234）：用于互联网协议定义的元语法，其核心与 ISO/IEC 14977 类似，但增加了核心规则集、增量解析等特性。
• BNF 本身：EBNF 是 BNF 的扩展，增加了选项和重复结构，保留了类 ::= 和 | 的核心元素。
• 其他领域标准：如 ITU-T Z.100（SDL）中的语法定义部分也借鉴了 EBNF 概念。

在选择元语法时，应根据目标应用的规范环境决定：若要求国际标准化，推荐直接引用 IEC 14977-02；若面向互联网协议，ABNF 更为流行；若用于 XML 技术栈，W3C EBNF 更合适。

常见问题（FAQ）