在電腦科學領域，解析表達文法，簡稱 PEG（英語：Parsing Expression Grammar），是一種分析型形式文法。PEG 在 2004 年由布萊恩・福特（Bryan Ford）推出，它與 20 世紀 70 年代初引入的自頂向下的語法分析語言家族密切相關。

在語法上，PEG 很接近上下文無關文法（CFG），但是他們採用了不同的解釋：例如 PEG 中的選擇運算子總是會選中第一個匹配項，而在 CFG 中則是不明確的。這更接近於字串辨識在實際中的應用，例如使用遞迴下降解析器的情況。另外不像 CFG，PEG 不能有二義性：在解析一個字串的時候，只能有單一確定的語法分析樹。據推測，存在上下文無關語言，不能用 PEG 處理，但尚未得到證實。 這個特性使得 PEG 更適合電腦語言的解析，對於一般的 CFG 演算法（如依爾利演算法）的效能可以與之比擬的自然語言就不是很合適。



定義

語法

形式上，一個解析表達文法由以下部分組成：


* 一個有限的非終結符的集合 _N_

* 一個有限的終結符的集合 Σ，和 _N_ 沒有交集

* 一個有限的解析規則的集合 _P_

* 一個被稱作開始表達式的解析表達式 _eS_

_P_ 中的每一個解析規則以 _A_ ← _e_ 的形式出現，這裡 _A_ 是一個非終結符，_e_ 是一個解析表達式。解析表達式是類似正規表示式的層次表達式：

1. 原子解析表達式由以下組成:
  
* 任何的終結符，
  
* 任何的非終結符，
  
* 空字串 ε.
2. 給定已經存在的解析表達式 _e_, _e_1 和 _e_2, 一個新的解析表達式可以通過以下操作構成:
  
* 序列: _e_1 _e_2
  
* 有序選擇: _e_1 / _e_2
  
* 零個或更多: _e_\*
  
* 一個或更多: _e_+
  
* 可選: _e_?
  
* 肯定斷言: &_e_
  
* 否定斷言: !_e_

語意

CFG 和 PEG 的關鍵不同是 PEG 的選擇運算子是有序的。如果第一個選項成功匹配，則忽略第二個選項。因此 PEG 的有序選擇是不可交換的，這點和上下文無關文法或者正規表示式在教科書上的定義不同。有序選擇類似於某些邏輯編程語言中的軟截斷運算子。

這導致的區別就是如果一個上下文無關文法被直接轉換為解析表達文法，所有的不確定性的地方都會被確定下來，方法是從所有可能的解析樹中選擇一個分支。通過仔細安排文法可能項的順序，編程的人就可以自由控制哪一個解析分支被選中。

與布林上下文無關語法一樣，解析表達式語法也添加了肯定斷言以及否定斷言。因為它們可以使用任意複雜的子表達式「向前檢視」輸入字串，而不需要實際消耗它，所以它們提供了一個強大的語法向前尋找和消歧功能，特別是在重新排序替代方案不能指定所需的準確的解析樹時。

解析表達式的解釋

解析表達文法裡面的每一個非終結符本質上表示遞迴下降解析器裡面的一個解析函式，其對應的解析表達式展示了這個函式包含的代碼內容。概念上，每一個解析函式接受一個輸入字串作為參數，返回以下其中一個結果:


* 成功，函式可能向前移動或者「消耗」一個或多個輸入字串的字元

* 失敗，不消耗任何字元

一個非終結符有可能成功但是不消耗任何輸入字元，這也是一種不同於失敗的結果。

只由一個終結符組成的原子解析表達式：成功，如果輸入字串的第一個字元就是定義中的終結符，這種情況下消耗這個輸入字元；否之失敗。由空字串組成的原子解析表達式總是成功並且不消耗任何輸入。只由一個非終結符 A 組成的原子解析表達式表示對非終結符 A 的解析函式的遞迴呼叫。

序列運算子 _e_1_e_2 首先呼叫 _e_1， 如果 _e_1 成功， 接著對 _e_1 消耗剩下的輸入字串呼叫 _e_2， 最後返回結果。如果 _e_1 或者 _e_2 失敗，那麼序列表達式 _e_1_e_2 失敗。

選擇運算子 _e_1 / _e_2 首先呼叫 _e_1， 如果 _e_1 成功， 立刻返回結果。否則如果 _e_1 失敗，選擇運算子回溯到輸入字串匹配 _e_1 的原始位置，呼叫 _e_2， 最後返回 _e_2 結果。

零個或多個，一個或多個，和可選運算子分別消耗零個或多個，一個或多個，或者零個或一個連續重複的子表達式 e。與上下文無關文法和正規表示式不同的 是，儘管如此，在 PEG 里這些運算子總是執行貪婪的行為，那就是消耗儘可能多的輸入，而且絕對不回溯。（正規表示式一開始執行貪婪匹配，但是如果整個正規表示式失敗後，會回退並嘗試短一些的匹配。）例如，解析表達式 a\
* 總是儘可能多的消耗輸入字串中連續出現的 a，解析表達式 (a\
* a) 則必然會失敗因為前半部分 a\
* 絕對不會留下一丁點 a 給後半部分去匹配。

最後，肯定斷言和否定斷言實現了句法斷言。&e 表達式呼叫子表達式 e，如果 e 成功，則返回成功；否則返回失敗。無論結果如何都不消耗任何字元。反之，當 e 失敗時！e 表達式成功，e 成功時！e 表達式失敗， 同樣無論結果如何都不消耗任何字元。因為向前判斷的子表達式 e 可以任意的複雜，所以斷言表達式提供了強大的句法向前判斷和去除二義性的能力。

範例

這是一個簡單的解析表達文法，它辨識基本的數學表達式，只使用了基本的四個運算子並且只接受正整數作為運算元.

在上面這個例子裡面，終結符就是字元文字，用單引號括起來表示。比如 `'('` 和 `')'`。`[0-9]` 這個區間是 10 個字元的縮寫，表示數字 0 到數字 9 裡面的任意一個。（這裡區間的語意和正規表示式裡面的一樣。）非終結符就是被定義成其他表達式的符號：_Value_, _Product_, _Sum_, 以及 _Expr_。

接下來的遞迴規則匹配了標準 C 風格的 if/then/else 語句。因為 / 運算子的隱式優先級安排，可選的 else 語句總是會被繫結到最內層的 if 語句。（在上下文無關文法裡，這種結構的文法會導致懸空的 else 語句這種二義性錯誤。

下面的這個遞迴規則匹配 Pascal 格式的注釋語法，(\
* 和 \*) 括號，其內部可以有巢狀的 (\
* 和 \*) 對。注釋符號放在雙引號內內是為了與其他 PEG 運算子區分開來。

解析表達式 foo &(bar) 只有當 foo 後面緊跟著字串 bar 的時候，才會匹配並消耗 foo。而解析表達式 foo !(bar) 只有當 foo 後面沒有緊跟著字串 bar 的時候，才會匹配。表達式 !(a+ b) a 只有當 a 不是一連串 a 後面連著一個 b 的情況下出現的時候，才能匹配一個單獨的字母 a。

解析表達式 ('a'/'b')\*匹配任意長度的 a 和 b 序列。解析規則 _S_ ← 'a' _S_? 'b' 描述了 $\{a^{n}b^{n}:n\geq 1\}$ . 這樣一個簡單的上下文無關匹配語言。而下面的這個解析表達文法則可以描述經典的非上下文無關文法 $\{a^{n}b^{n}c^{n}:n\geq 1\}$ ：



根據解析表達文法實現解析器

所有的解析表達文法都能夠被直接轉化為遞迴下降解析器。 儘管如此，因為 PEG 公式提供了理論上不受限制的向前檢查的能力，所以最終得到的解析器還是可以避免最壞情況下指數級時間複雜度的。

通過儲存增量解析步驟的結果和確保每一個解析函式在同一個輸入位置只被呼叫一次，就可以把任意解析表達文法轉化成一個 Packrat Parser，可以實現線性的時間複雜度解析，其代價是足夠大量的空間占用。

一個 Packrat Parser 是一種結構上類似於遞迴下降解析器的語法解析器，區別是在解析過程中，它會記下所有互相遞迴呼叫的函式的中間結果。因為儲存了這些資訊，一個 Packrat Parser 就擁有了以線性時間複雜度解析多數上下文無關文法和所有解析表達文法的能力（包括某些表示的不是上下文無關文法語言的文法）。

從解析表達文法建立 LL 剖析器和 LR 剖析器也是可行的，但是在這兩種情況下，不受限制的向前檢查的能力就不能用了。



優勢

因為 PEG 更加嚴格更加強大，PEG 可以成為很好的正規表示式的替代品。例如，一個正規表示式本身是無法匹配巢狀的括號對，因為正規表示式不是遞迴的，但是 PEG 卻能做到這點。

所有的 PEG 都能通過使用 Parkrat Parser 達到線性時間解析，如同上文所述。

CFG 表達的解析器，比如 LR 解析器，需要首先進行一個單獨的斷詞步驟。這個步驟根據空白的位置或者發音等等因素把輸入分成詞。分詞是必要的，因為 這類解析器使用向前檢查來判斷上下文無關文法是否匹配要求。PEG 不需要單獨的斷詞步驟，斷詞的規則和其他文法規則可以用同樣的方式寫在一起。

許多 CFG 原生的存在二義性，即使它們原本要描述的東西並不具有二義性。C, C++, Java 裡面著名的懸空 else 問題就是一個例子。這個問題通常都是應用文法之外的一個規則解決。而在 PEG 裡面，因為使用了優先權，所以根本不存在這種問題。



劣勢

PEG 是新事物，還沒有被廣泛的應用。相比之下，正規表示式和 CFG 已經產生了數十年了，用來解析的代碼也已經最佳化的很好，並且很多開發者都熟悉怎麼使用他們。

PEG 不能表達左遞迴的解析規則。例如，上面的數學運算文法，通過引入更多的規則，來使得乘法和加法的優先級能夠在一行裡面表達出來這可是非常的有誘惑力的， 結果可能得到下面的文法：

這個文法的問題就是，為了匹配 Expr， 你需要首先判斷是否某處匹配 Product， 而為了匹配 Product， 你又必須判斷是不是此處匹配 Expr。而這個迴圈定義是不可分析的。

儘管如此，我們總是可以通過重寫左遞迴規則把左遞迴消除掉。 例如，一個左遞迴可能無限的重複一個規則，就像在 CFG 裡面的：

在 PEG 裡面，可以用加號運算子重寫為：

PEG 還涉及到 Packrat Parsing， 一種通過占用更多的儲存空間來消除不必要解析步驟的方法。Packrat Parsing 需要的儲存空間與總的輸入檔案的大小成正比，而不是 LR 解析器的與解析樹的深度成正比。如果稍作修改，傳統的 Packrat Parser 也可以支援左遞迴。



參見


* 形式文法

* 正規表示式

* 自頂向下解析的語言

* 解析器 - 生成器比較

* 解析器組合子



參考文獻


* Medeiros, Sérgio; Ierusalimschy, Roberto. A parsing machine for PEGs. Proc. of the 2008 symposium on Dynamic languages. ACM: article #2. 2008. ISBN 978-1-60558-270-2. doi:10.1145/1408681.1408683.



外部連結


* Parsing Expression Grammars: A Recognition-Based Syntactic Foundation （頁面存檔備份，存於網際網路檔案館） (PDF slides)

* Converting a string expression into a lambda expression using an expression parser

* The Packrat Parsing and Parsing Expression Grammars Page （頁面存檔備份，存於網際網路檔案館）

* Packrat Parsing: a Practical Linear-Time Algorithm with Backtracking （頁面存檔備份，存於網際網路檔案館）

* The constructed language Lojban has a fairly large PEG grammar （頁面存檔備份，存於網際網路檔案館） allowing unambiguous parsing of Lojban text.