扩展巴科斯范式

**擴展巴科斯 - 瑙爾範式（EBNF, Extended Backus–Naur Form）** 是表達作為描述計算機程式語言和形式語言的正規方式的上下文無關文法的元語法 (metalanguage) 符號表示法。它是基本巴科斯範式 (BNF) 元語法符號表示法的一種擴展。

它最初由尼克勞斯・維爾特開發，最常用的 EBNF 變體由標準，特別是 ISO-14977 所定義。

## 基本

擴展巴科斯範式是一種表達形式語言文法的代碼，如由終結符即可視字符、數字、標點符號、空白字符等組成的電腦程式的原始碼。

EBNF 定義了把各符號序列分別指派到非終結符的產生規則:

這個產生規則定義了在這個指派的左端的非終結符 _digit_。豎槓表示可供選擇，而終結符被引號包圍，最後跟著分號作為終止字符。所以 _digit_ 是一個 "_0"_ 或可以是 "_1_ 或 _2_ 或 _3_ 直到 _9_ 的一個 _digit excluding zero"_。

產生規則還可以包括由逗號分隔的一序列終結符或非終結符:

可以省略或重複的表達式可以通過花括號 {...} 表示:

在這種情況下，字符串 _1_, _2_, ...,_10_,...,_12345_,... 都是正確的表達式。要表示這種情況，於花括號內設立的所有東西可以重複任何次，包括根本不出現。

可選項可以通過方括號 [...] 表示:

所以 integer 是一個零 (_0_) 或可能前導可選的負號的一個自然數。

EBNF 還包括描述指定次數的重複，和排除產生式的某部分或向 EBNF 文法插入注釋的語法。

## 符號表

## 約定

1. 使用了如下約定:

* 擴展 BNF 每個元標識符都被寫為用連字號連接起來的一個或多個字；
* 結束於「-symbol」 的元標識符是擴展 BNF 的終結符的名字。

2. 表示擴展 BNF 的每個操作符的正常字符和它所蘊涵的優先級 (頂部為最高優先級) 為:

```
* repetition-symbol
- except-symbol
, concatenate-symbol
| definition-separator-symbol
= defining-symbol
; terminator-symbol
```

3. 下列括號對超越正常優先級:

```
´  first-quote-symbol            first-quote-symbol  ´
"  second-quote-symbol          second-quote-symbol  "
(* start-comment-symbol          end-comment-symbol *)
(  start-group-symbol              end-group-symbol  )
[  start-option-symbol            end-option-symbol  ]
{  start-repeat-symbol            end-repeat-symbol  }
?  special-sequence-symbol   special-sequence-symbol ?
```

作為例子，下列語法規則展示了表達重複的設施:

```
aa = "A";
bb = 3 * aa, "B";
cc = 3 * [aa], "C";
dd = {aa}, "D";
ee = aa, {aa}, "E";
ff = 3 * aa, 3 * [aa], "F";
gg = {3 * aa}, "D";
```

這些規則定義的終結字符串如下:

```
aa: A
bb: AAAB
cc: C AC AAC AAAC
dd: D AD AAD AAAD AAAAD etc.
ee: AE AAE AAAE AAAAE AAAAAE etc.
ff: AAAF AAAAF AAAAAF AAAAAAF
gg: D AAAD AAAAAAD etc.
```

## 示例

只允許賦值的簡單程式語言可以用 EBNF 定義為:

一個語法上正確的程序:

這個語言可以輕易的擴展上控制流，算術表達式和輸入 / 輸出指令。就可以開發出一個小的、可用的程式語言了。

## 比較 EBNF 和 BNF

BNF 有著可選項和重複不能直接表達的問題。作為替代，它們需要利用中介規則或兩選一規則，對於可選項，定義要麼是空的要麼是可選的產生式的規則，對於重複，遞歸的定義要麼是被重複的產生式要麼是自身的規則。同樣的構造仍可用在 EBNF 中。

可選項:

可按 BNF - 風格定義為:

或

重複:

可按 BNF - 風格定義為:

## EBNF 較 BNF 的優點

EBNF 排除了 BNF 的一些缺陷:

* BNF 為自身使用了符號 (<,>, |, ::=)。當它們出現在要定義的語言中的時候，BNF 不得不加以修改或解釋的使用。
* BNF - 語法在一行中只表示一個規則。

EBNF 解決了這些問題:

* 終結符被嚴格的包圍在引號 ("..." 或 '...') 中。給非終結符的尖括號 ("<...>") 可以省略。
* 通常使用終止字符分號結束一個規則。

進一步還提供了定義重複次數，排除法選擇 (比如除了引號的所有字符) 和注釋等的增強機制。

不管所有這些增強，EBNF 在能定義的語言的意義上不比 BNF 更強大。在原理上用 EBNF 定義的任何文法都可以用 BNF 表達。但是經常導致可觀的更多規則的表示。

EBNF 已經被 ISO 用代碼 _ISO/IEC 14977:1996(E)_ 標準化了。

在某些場合任何擴展的 BNF 都被稱為 EBNF。例如 W3C 使用 _one_ EBNF 來規定 XML。

## 擴展

依據 ISO 14977 標準，提供了兩個設施來擴展 EBNF。其一是在 EBNF 文法部分的特殊序列，它是在問號包圍內的任意文本，其解釋超出了 EBNF 標準的範圍。例如，空格字符可以用如下規則定義:

其二利用圓括號在 EBNF 中不能放置到緊隨標識符之後的事實。下列不是有效的 EBNF:

所以 EBNF 的擴展可以使用這種表示法。例如，在 Lisp 文法中，函數應用可以用如下規則定義:

## 有關工作

* W3C 使用一種不同的 EBNF 來指定 XML 語法。
* British Standards Institute 在 1981 年出版了一個 EBNF 標準: BS 6154。
* IETF 使用在 RFC 4234 中規定的擴充 BNF (ABNF)。

## 參見

* 擴充巴科斯範式
* 巴科斯範式
* 正則表達式
* Spirit Parser Framework
* Wirth Syntax Notation

## 引用

## 外部連結

* Article "EBNF: A Notation to Describe Syntax (PDF) （頁面存檔備份，存於網際網路檔案館）" by Richard E. Pattis describing the functions and syntax of EBNF
* Article "BNF and EBNF: What are they and how do they work? （頁面存檔備份，存於網際網路檔案館）" by Lars Marius Garshol
* Article "The Naming of Parts （頁面存檔備份，存於網際網路檔案館）" by John E. Simpson
* ISO/IEC 14977 : 1996 (E) （頁面存檔備份，存於網際網路檔案館）
* RFC 4234 - Augmented BNF for Syntax Specifications: ABNF
* BNF/EBNF variants （頁面存檔備份，存於網際網路檔案館） - a table by Pete Jinks comparing several syntaxes.
* Create syntax diagrams from EBNF

本條目部分或全部內容出自以 GFDL 授權發佈的《自由線上電腦詞典》（FOLDOC）。